Embedded Systems: Design, Analysis and Verification
Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz Josef Rammig · IFIP advances in information and communication technology · 2013
This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented