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
Sonstige
Deutsch
Dynamische Zustandsautomaten Verifikation
Tema Archiv | 2005
|ASIC-Verifikation: Schnellere Verifikation bei mehr Debug-Transparenz
British Library Online Contents | 2007
Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen
Kraftfahrwesen | 2002
|