Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems by Filip Thoen, Francky Catthoor.
system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components o...
Full description
Saved in: