|  |
| |
| Artikel-Nr.:
858A-9783031493416 Herst.-Nr.:
9783031493416 EAN/GTIN:
9783031493416 |
| |
|
| | |
| This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation. Weitere Informationen: | | Author: | Haniel Barbosa; Yoni Zohar | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, diagrammatic languages, formal methods, formal verification, fuzzy systems, model checking, refactoring, refinement theory, relational mathematics, separation logic, software evolution, software product lines |
| | |
| |