Login / Signup
User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes.
Richard Mrasek
Jutta A. Mülle
Klemens Böhm
Michael Becker
Christian Allmann
Published in:
BPM (2014)
Keyphrases
</>
user friendly
highly interactive
process model
graphical interface
software package
formal verification
command line
user interface
formal methods
colored petri nets
artificial intelligence
case study
back end
online databases
interactive data mining