KIT | KIT-Bibliothek | Impressum

Property specification, process verification, and reporting - A case study with vehicle-commissioning processes

Mrasek, Richard; Mülle, Jutta; Böhm, Klemens; Becker, Michael; Allmann, Christian



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2016
Sprache Englisch
Identifikator DOI: 10.1016/j.is.2015.09.005
ISSN: 0094-453x, 0306-4379, 1873-6076
KITopen ID: 1000064194
Erschienen in Information systems
Band 56
Seiten 326-346
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page