An edition of Embedded Systems: Design, Analysis and Verification (2013)

Embedded Systems: Design, Analysis and Verification

4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

by

Cover of: Embedded Systems: Design, Analysis and Verification by Gunar Schirner, Gunar Schirner
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
June 30, 2019 | History
Edit
An edition of Embedded Systems: Design, Analysis and Verification (2013)

Embedded Systems: Design, Analysis and Verification

4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

by

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 together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.

Publish Date
Publisher
Springer Berlin Heidelberg, Imprint: Springer
Language
English
Pages
354

Check nearby libraries

Buy this book

Subjects

Computer-Aided Engineering (CAD, CAE) and Design, Computer system performance, Computer-aided design, Computer science, Software engineering, System Performance and Evaluation, Special Purpose and Application-Based Systems
Edition Availability
Cover of: Embedded Systems : Design, Analysis and Verification
Embedded Systems : Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings
2015, Springer Berlin / Heidelberg
in English
Cover of: Embedded Systems: Design, Analysis and Verification
Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
2013, Springer Berlin Heidelberg, Imprint: Springer
electronic resource : in English
Cover of: Embedded Systems : Design, Analysis and Verification
Embedded Systems : Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings
Jun 19, 2013, Springer
paperback

Add another edition?

Book Details

Table of Contents

Design methodologies
Non-functional aspects of embedded systems
Verification
Performance analysis
Real-time systems
Embedded system applications
Real-time aspects in distributed systems.

Edition Notes

Published in
Berlin, Heidelberg
Series
IFIP Advances in Information and Communication Technology -- 403

Classifications

Dewey Decimal Class
004.6
Library of Congress
TK7874.6, QA76.5-.73

The Physical Object

Format
[electronic resource] :
Pagination
XIV, 354 p. 136 illus.
Number of pages
354

Edition Identifiers

Open Library
OL27035807M
ISBN 13
9783642388538

Work Identifiers

Work ID
OL19846883W

Source records

Internet Archive item record
Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
June 30, 2019 Created by MARC Bot import new book