Embedded Systems : Design, Analysis and Verification
Subtitle: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings
Publisher: Springer Berlin / Heidelberg
Published: 2015
Language: eng
ISBN-13: 9783642430282
Subjects: Embedded computer systems; Computer science; Software engineering; Computer-aided design