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
2004-01-1593 Model-Based Testing Of Embedded Automotive Software Using Mtest