Abstract Execution for Event-Driven Systems - An Application from Automotive/Infotainment Development.

Published in: ISoLA (2) (2012)

Keyphrases

event driven
safety critical
knowledge based systems
support systems
expert systems
intelligent systems
enabling technologies
historical perspective
building blocks
information processing
automotive industry
assistive technology
formal methods
database
distributed systems
software engineering
case study
real time