Model-Based Verification of Energy-Aware Real-Time Automotive Systems.

Eun-Young Kang Gilles Perrouin Pierre-Yves Schobbens

Published in: ICECCS (2013)

Keyphrases

real time
energy aware
low cost
wireless sensor networks
formal methods
artificial intelligence
mobile devices
management system
computational intelligence
computer systems
context aware
high performance computing