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