Verification of model processing tools
Die Verifizierung von Modell-Prozessoren als Tools.
2008
8 pages
SAE-Paper;2008-01-0124;2008;Safety-Critical Systems;SAE Spec.Publ.; SP-2173
Miscellaneous
English
Verification of Model Processing Tools*
SAE Technical Papers | 2008
|Verification tools for embedded robotic electronics
IEEE | 1999
|Verication of Model Processing Tools
British Library Conference Proceedings | 2008
|Simulation Tools for System Analysis and Verification
Springer Verlag | 2009
|