A component-based verification approach based on petri net components

Braunschweig / GZVB (2007) [Contribution to a conference proceedings]

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

Authors

Selected Authors

Padberg, J.
Küssel, Uwe

Identifier

  • REPORT NUMBER: RWTH-CONV-200578