Property specification, process verification, and reporting - A case study with vehicle-commissioning processes
| 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 | Web of Science Dimensions Scopus |