Login / Signup
Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment.
Christian Drabek
Thomas Pramsohler
Marc Zeller
Gereon Weiss
Published in:
ACES-MB@MoDELS (2013)
Keyphrases
</>
reference models
reference model
security requirements
enterprise architecture
user interface
business processes
semantic interoperability
business process
model checking
process model
software architecture
metamodel
semi automatic
smart card
anomaly detection
domain specific
case study