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

Name: Modeling, verification, and exploration of task-level concurrency in real-time embedded systems
Author: Filip Thoen, Filip Thoen, Francky Catthoor

by Filip Thoen, Filip Thoen, Francky Catthoor · 2000

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

No description available.

Embedded computer systemsReal-time data processingSystems analysis & designComputersComputers - General InformationComputer Books: GeneralScience/MathematicsHardware - Personal Computers - GeneralProgramming - Systems Analysis & DesignComputers / CAD-CAM / GeneralCAD-CAM - GeneralMicroprocessors