Property Specification, Process Verification, and Reporting - a Case Study with Vehicle-Commissioning Processes
-
Autor:
Richard Mrasek, Jutta Mülle, Klemens Böhm, Michael Becker, Christian Allmann
-
Quelle:
Information Systems, 56: 326-346, (2016)