System Verification : Proving the Design Solution Satisfies the Requirements
Guardat en:
| Autor principal: | Grady, Jeffrey O. |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
San Diego :
Elsevier Science
2016.
|
| Accés en línia: | Accès Université d'Orléans et IFPM Accès INSA CVL |
| Nota: |
Titre provenant de la page de titre du document numérique La pagination de l'édition imprimée correspondante est de 416 p. Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • System Verification, Proving the Design Solution Satisfies the Requirements, Jeffrey O. Grady, Second edition, 2016, Amsterdam, Elsevier, 1 vol. (XXII-391 p.), 978-0-12-804221-2 |
Ítems similars
-
System requirements analysis
(Livre numérique)
Grady, Jeffrey O.
Elsevier, 2014 -
Compositional Verification of Concurrent and Real-Time Systems
(Livre numérique)
Juan, Eric Y. T., et al. -
High-Level Verification : Methods and Tools for Verification of System-Level Designs
(Livre numérique)
Kundu, Sudipta, et al.
Springer New York, 2011 -
Guaranteed Verification of Dynamic Systems
(Livre numérique)
Schwab, Stefan
KIT Scientific Publishing, 2022 -
Design and Verification of Microprocessor Systems for High-Assurance Applications
(Livre numérique)
Hardin, David S.
Springer US, 2010

