KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1007/978-3-319-10172-9_19

User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes

Mrasek, R.; Mülle, J.; Böhm, K.; Becker, M.; Allmann, C.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator ISBN: 978-3-319-10171-2
ISSN: 0302-9743
KITopen ID: 1000045889
Erschienen in Business Process Management - 12th International Conference (BPM'14), Haifa, Israel, September 7-11, 2014. Ed.: S. Sadiq
Verlag Springer, New York (NY)
Seiten 301-316
Serie Lecture Notes in Computer Science ; 8659
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page