|
|
SAE Publications
by Hans-Joerg Wolff
BOOKS
None
PAPERS
Paper Number / Title
For more information, click on the Paper Number |
Book Number |
2007-01-1495
Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers |
V116-7
|
2006-21-0047
Prototyping and Simulation as a Means of Software Verification |
|
|
|
|