KIT | KIT-Bibliothek | Impressum

Softwarevalidierung durch Auswertung von Petrinetz-Abläufen

Freytag, Thomas



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Hochschulschrift
Jahr 2001
Sprache Deutsch
Identifikator KITopen ID: 532001
Erscheinungsvermerk Books on Demand GmbH 2001. Fak. f. Wirtschaftswissenschaften, Diss. v. 8.2.2001.
Abschlussart Dissertation
Fakultät Fakultät für Wirtschaftswissenschaften (WIWI)
Institut Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Prüfungsdaten Diss. v. 8.2.2001
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page