%0 Book
%T Embedded Systems: Design, Analysis and Verification
%T 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013
%+ Northeastern University [Boston]
%+ Universidade Federal do Rio Grande do Sul [Porto Alegre] (UFRGS)
%+ Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg (OFFIS)
%+ ZF Friedrichshafen AG
%+ University of Paderborn
%A Schirner, Gunar
%A Götz, Marcelo
%A Rettberg, Achim
%A Zanella, Mauro, C.
%A Rammig, Franz, J.
%@ 978-3-642-38852-1
%I Springer
%S IFIP Advances in Information and Communication Technology
%V AICT-403
%8 2013
%D 2013
%R 10.1007/978-3-642-38853-8
%Z Computer Science [cs]Books
%X Book Front Matter of AICT 403
%G English
%Z TC 10
%L hal-01466697
%U https://inria.hal.science/hal-01466697
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-TC10
%~ IFIP-AICT-403
%~ IFIP-IESS