Dynamische Zusatandsautomaten Verifikation
Dynamic statechart verification.
2005
13 pages
VDI-Ber.; 2005;Erprobung und Simulation in der Fahrzeugentwicklung,Wuerzburg,Juni 2005;VDI-Berichte;Nr.;1900
Miscellaneous
German
Dynamische Zustandsautomaten Verifikation
Tema Archive | 2005
|ASIC-Verifikation: Schnellere Verifikation bei mehr Debug-Transparenz
British Library Online Contents | 2007
Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen
Automotive engineering | 2002
|