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

Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens

Browse the full ICECCS paper archive.