Items related to Modeling, Verification and Exploration of Task-Level...

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.

  • PublisherSpringer
  • Publication date2011
  • ISBN 10 1461544386
  • ISBN 13 9781461544388
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

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