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
|Verication of Model Processing Tools
British Library Conference Proceedings | 2008
|Simulation Tools for System Analysis and Verification
Springer Verlag | 2009
|Software Tools and their Verification by Experiments
Taylor & Francis Verlag | 1993
|