A component-based verification approach based on petri net components

Padberg, J.; Küssel, Uwe

Braunschweig : GZVB (2007)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 40-50


  • Chair and Institute of Automatic Control [416610]