Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung
Spezifikation operationaler Prozesse
Als Ms. gedr.
2003
XI, 211 S
Ill., graph. Darst
Langzeitarchivierung durch Universitätsbibliothek Braunschweig
Hochschulschrift
Deutsch
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
TIBKAT | 2000
|Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Tema Archiv | 2000
|Petrinetze fur die durchgangige Entwicklung von Systemen der Eisenbahnsicherung
British Library Conference Proceedings | 2000
|