Modeling, verification, and exploration of task-level concurrency in real-time embedded systems

Loading edition detail...

Preparing this view.

Modeling, verification, and exploration of task-level concurrency in real-time embedded systems

Filip Thoen

Bookitis Pick

Cover for Modeling, verification, and exploration of task-level concurrency in real-time embedded systems

Image source: Open Library

Filip ThoenPublished 2000cover on file

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Kluwer Academic Publishers
Pages	438
Search language	english
ISBN_10	0-792-37737-0 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

MV
Image source: Open Library
Modeling, Verification and Exploration of Task-Level
Filip Thoen, Francky Catthoor | Springer | December 1, 1999
Modeling, Verification and Expl...Filip Thoen, Francky Catthoor
MV
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Filip Thoen, Francky Catthoor | Springer | Sep 30, 2011