|  |
| |
| Artikel-Nr.:
858A-9783031331695 Herst.-Nr.:
9783031331695 EAN/GTIN:
9783031331695 |
| |
|
| | |
| The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. Weitere Informationen: | | Author: | Kristin Yvonne Rozier; Swarat Chaudhuri | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, reliability, validation, verification, model checking, coverage metrics, equivalence checking, semi-formal verification, transaction-level verification, theorem proving and SAT solving, design rule checking, safety critical systems |
| | |
| |