Login / Signup
Michael Becker
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Case Study
Process Model
Formal Verification
Command Line
Top Venues
Inf. Syst.
BPM
</>
Publications
</>
Richard Mrasek
,
Jutta A. Mülle
,
Klemens Böhm
,
Michael Becker
,
Christian Allmann
Property specification, process verification, and reporting - A case study with vehicle-commissioning processes.
Inf. Syst.
56 (2016)
Richard Mrasek
,
Jutta A. Mülle
,
Klemens Böhm
,
Michael Becker
,
Christian Allmann
User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes.
BPM
(2014)