1 option
Mathematics in Software Reliability and Quality Assurance
- Format:
- Book
- Author/Creator:
- Dohi, Tadashi, Editor.
- Language:
- English
- Physical Description:
- 1 online resource (218 p.)
- Place of Publication:
- Basel MDPI - Multidisciplinary Digital Publishing Institute 2022
- Language Note:
- English
- Summary:
- This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.