Login / Signup
A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface.
Kristian Beckers
Isabelle Côté
Thomas Frese
Denis Hatebur
Maritta Heisel
Published in:
SAFECOMP (2015)
Keyphrases
</>
verification method
human computer interface
management system
expert systems
model checking
temporal logic
real world
data mining
case study
user interface
database
supply chain
building blocks
user friendly
neural network
safety critical
databases