KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Mrasek, Richard 1; Mülle, Jutta 1; Böhm, Klemens 1; Becker, Michael; Allmann, Christian
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)


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