A component-based verification approach based on petri net components

Braunschweig / GZVB (2007) [Buchbeitrag, Beitrag zu einem Tagungsband]

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): 40-50

Autorinnen und Autoren

Autorinnen und Autoren

Padberg, J.
Küssel, Uwe

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-200578