System Verification : Proving the Design Solution Satisfies the Requirements
Enregistré dans:
Auteur principal: | Grady, Jeffrey O.. (Auteur) |
---|---|
Support: | E-Book |
Langue: | Anglais |
Publié: |
San Diego :
Elsevier Science,
2016.
|
Autres localisations: | Voir dans le Sudoc |
Accès en ligne: | Accès à l'E-book |
Lien: | Autre support:
System Verification : Proving the Design Solution Satisfies the Requirements / Jeffrey O. Grady |
Documents similaires
-
System requirements analysis
par: Grady, Jeffrey O..
Publié: 2014 -
Principles of Functional Verification
par: Meyer, Andreas.
Publié: 2003 -
Clinique et vérification
par: Reuchlin, Maurice, 1920-2015.
Publié: 1972 -
Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
par: Drusinsky, Doron.
Publié: 2006 -
Co-verification of Hardware and Software for ARM SoC Design
par: Andrews, Jason.