https://hal.inria.fr/hal-01466697
Contributor : Hal Ifip <>
Submitted on : Monday, February 13, 2017 - 4:39:49 PM Last modification on : Thursday, March 5, 2020 - 5:40:26 PM
Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro Zanella, Franz Rammig. Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Springer, AICT-403, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-38852-1. ⟨10.1007/978-3-642-38853-8⟩. ⟨hal-01466697⟩