Overview
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 403)
Included in the following conference series:
Conference proceedings info: IESS 2013.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (31 papers)
-
Non-functional Aspects of Embedded Systems
-
Verification
-
Performance Analysis
-
ARAMIS Special Session
Other volumes
-
Embedded Systems: Design, Analysis and Verification
Editors and Affiliations
Bibliographic Information
Book Title: Embedded Systems: Design, Analysis and Verification
Book Subtitle: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings
Editors: Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-3-642-38853-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2013
Hardcover ISBN: 978-3-642-38852-1Published: 28 June 2013
Softcover ISBN: 978-3-642-43028-2Published: 15 July 2015
eBook ISBN: 978-3-642-38853-8Published: 13 June 2013
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: XIV, 354
Number of Illustrations: 136 b/w illustrations
Topics: Special Purpose and Application-Based Systems, System Performance and Evaluation, Software Engineering, Computer-Aided Engineering (CAD, CAE) and Design