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