Eun-Young Kang, Pierre-Yves Schobbens. Enabling formal analysis of energy-aware automotive embedded systems in East-adl. In Gabriel Andrés Wainer, Pieter J. Mosterman, Fernando J. Barros, Gregory Zacharewicz, editors, 2013 Spring Simulation Multiconference, SpringSim '13, San Diego, CA, USA, April 7-10, 2013, Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium. pages 9, ACM, 2013. [doi]
@inproceedings{KangS13,
title = {Enabling formal analysis of energy-aware automotive embedded systems in East-adl},
author = {Eun-Young Kang and Pierre-Yves Schobbens},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2499643},
researchr = {https://researchr.org/publication/KangS13},
cites = {0},
citedby = {0},
pages = {9},
booktitle = {2013 Spring Simulation Multiconference, SpringSim '13, San Diego, CA, USA, April 7-10, 2013, Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium},
editor = {Gabriel Andrés Wainer and Pieter J. Mosterman and Fernando J. Barros and Gregory Zacharewicz},
publisher = {ACM},
isbn = {978-1-62748-032-1},
}