Integrating functional and non-functional design verification for embedded software systems
Die Integration der Verifizierung der funktionalen und nicht funktionalen Konstruktion eingebetteter Softwaresysteme.
2009
13 pages
SAE-Paper;2009-01-0152;2009
Sonstige
Englisch
Integrating Functional and Non-Functional Design Verification for Embedded Software Systems
SAE Technical Papers | 2009
|FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS
Springer Verlag | 2005
|Program verification and embedded aerospace software
AIAA | 1981
|