Model-based verification of energy-aware real-time automotive systems

E.-Y. Kang, G. Perrouin, P.-Y. Schobbens

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Publikationsdato2013
DOI
StatusUdgivet - 2013

Citationsformater