Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung
Spezifikation operationaler Prozesse
Als Ms. gedr.
2003
XI, 211 S
Ill., graph. Darst
Digital preservation by Universitätsbibliothek Braunschweig
Theses
German
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
TIBKAT | 2000
|Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Tema Archive | 2000
|Petrinetze fur die durchgangige Entwicklung von Systemen der Eisenbahnsicherung
British Library Conference Proceedings | 2000
|Strategischer und operationaler Nutzen des Datenverbundes zwischen Automobil- und Zulieferindustrie
Automotive engineering | 1991
|