A component-based verification approach based on petri net components
Padberg, J.; Küssel, Uwe
Braunschweig : GZVB (2007)
Buchbeitrag, Beitrag zu einem Tagungsband
In: FORMS/FORMAT 2007 - 6th symposium : formal methods for automation and safety in railway and automotive systems ; proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007 / Eckehard Schnieder; Géza Tarnai (Eds.)
Seite(n)/Artikel-Nr.: 40-50
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-200578