Embedded System Design Modeling, Synthesis and Verification Gajski Daniel D. Innbundet / 2009 / Engelsk
Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings Schirner Gunar Heftet / 2015 / Engelsk
Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings Schirner Gunar Innbundet / 2013 / Engelsk
System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings Götz, Marcelo Heftet / 2018 / Engelsk
System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings Götz, Marcelo Innbundet / 2018 / Engelsk