Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems - Softcover

Thoen, Filip; Catthoor, Francky

 
9781461544388: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Softcover
ISBN 10: 1461544386 ISBN 13: 9781461544388
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

Acknowledgments. 1. Introduction. 2. Related Work and Contemporary Approaches. 3. System Representation Model. 4. Timing Analysis. 5. System Synthesis Methodology. 6. Conclusions. Appendices. Glossary.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
1461544386
ISBN 13 
9781461544388
Binding
Paperback

Other Popular Editions of the Same Title

9780792377375: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Featured Edition

ISBN 10:  0792377370 ISBN 13:  9780792377375
Publisher: Springer, 1999
Hardcover