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

Work detail

Bookitis Pick

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

Image source: Open Library

Francky CatthoorFilip ThoenFilip ThoenFirst published 20003 editions

This page groups all known editions belonging to the same underlying work.

Search books Open lead author

Overview

Shared work-level identity and catalog context.

First publish date 20003 credited authorsSearch language english

Bookitis keeps work pages focused on the shared book identity and the editions that actually belong to it. Unrelated books should not appear here as primary content.

Contributors

People credited with this work in the active catalog.

Francky Catthoor
Author profile in the active Bookitis catalog
Open Author
Filip Thoen
Author profile in the active Bookitis catalog
Open Author
Filip Thoen
Author profile in the active Bookitis catalog
Open Author

Editions

Publication-specific versions linked to this work only.

MV
Image source: Open Library
Modeling, verification, and exploration of task-level concurrency in real-time embedded systems
Filip Thoen | Kluwer Academic Publishers | 2000
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