Editors:
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (6 chapters)
-
Front Matter
-
Back Matter
About this book
Editors and Affiliations
-
National Semiconductor Corporation, Santa Clara, USA
Filip Thoen
-
IMEC, Leuven, Belgium
Francky Catthoor
Bibliographic Information
Book Title: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Editors: Filip Thoen, Francky Catthoor
DOI: https://doi.org/10.1007/978-1-4615-4437-1
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2000
Hardcover ISBN: 978-0-7923-7737-5Published: 30 November 1999
Softcover ISBN: 978-1-4613-6998-1Published: 13 October 2012
eBook ISBN: 978-1-4615-4437-1Published: 06 December 2012
Edition Number: 1
Number of Pages: XV, 438
Topics: Computer-Aided Engineering (CAD, CAE) and Design, Special Purpose and Application-Based Systems, Electrical Engineering