Did you mean:
+keyword:(software)
2008-01-0385 Code Generation for Safety-Critical Systems - Open Questions and Possible Solutions
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
2009-01-0271 A Verification and Validation Workflow for IEC 61508 Applications
2005-01-1659 Automatic Evaluation of ECU Software Tests
2004-01-1593 Model-Based Testing Of Embedded Automotive Software Using Mtest