Sign in
Property specification, process verification, and reporting - A case study with vehicle-commissioning processes.
Richard Mrasek
Jutta A. Mülle
Klemens Böhm
Michael Becker
Christian Allmann
Published in:
Inf. Syst. (2016)
Keyphrases
</>
process model
data sets
data analysis
decision making
case study
conceptual model
formal methods
formal verification
database
real time
neural network
artificial intelligence
high level
evolutionary algorithm
face verification