Mathematics in Software Reliability and Quality Assurance
Overview & Synopsis
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.
Indexed from repository: Directory of Open Access Books
(
www.doabooks.org)
Document Information
| Document Title | Mathematics in Software Reliability and Quality Assurance |
|---|---|
| Author / Organization | DOAB Contributor |
| Subject & Discipline | fuzzy automata |
| Categories | Open Access Books |
| Publication Year | 2022 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
Directory of Open Access Books
(www.doabooks.org)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-146455 |
| Original Source Link | Visit Source Page on www.doabooks.org » |