Eintrag in der Universitätsbibliographie der TU Chemnitz
Dümmler, Jörg ;
Gehre, Sven ;
Rünger, Gudula
Neugebauer, Reimund ; Götze, Uwe ; Drossel, Welf-Guntram (Hrsg.)
Modellierung und Verifikation von Prozessketten
Modeling and Verification of Production Process Chains
Universität: | Technische Universität Chemnitz | |
Institut: | Professur Praktische Informatik | |
Dokumentart: | Buchbeitrag | |
ISBN/ISSN: | 978-3-95735-003-9 | |
URL/URN: | http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-134581 | |
Quelle: | In: Neugebauer, Reimund ; Götze, Uwe ; Drossel, Welf-Guntram (Hrsg.): Energetisch-wirtschaftliche Bilanzierung – Diskussion der Ergebnisse des Spitzentechnologieclusters eniPROD. - Auerbach : Wissenschaftliche Scripten, 2014, S. 33 - 42. - 3. Methodenband der Querschnittsarbeitsgruppe „Energetisch-wirtschaftliche Bilanzierung“ des Spitzentechnologieclusters eniPROD | |
Freie Schlagwörter (Deutsch): | Modellierung , Prozesskette , Verifikation | |
Freie Schlagwörter (Englisch): | Modeling , Process Chain , Verification |