direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Modeling Train Control Systems: From Message Sequence Charts to Petri Nets
Zitatschlüssel KPE00
Autor Kluge, Olaf and Padberg, Julia and Ehrig, Hartmut
Buchtitel Proc. Formale Techniken für die Eisenbahnsicherung (FORMS)
Seiten 25–42
Jahr 2000
Notiz Reihe 12, Nr.\ 44, VDI Verlag
Organisation Fortschritt-Berichte VDI
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe