Formal verification of service-oriented adaptive driver assistance systems.

Christian Schwarz Dieter Zöbel Marco Wagner

Published in: SIGBED Rev. (2013)

Keyphrases

service oriented
formal verification
driver assistance systems
model checking
highly dynamic
web services
service oriented architecture
service composition
model driven
workflow management
intelligent vehicles
intelligent systems
computer vision
real time
context aware
vehicle detection
human centric