Did you mean:
+keyword:(software)
2008-01-0385 Code Generation for Safety-Critical Systems - Open Questions and Possible Solutions
2004-01-1593 Model-Based Testing Of Embedded Automotive Software Using Mtest