Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems 87 The book should be accessible

The book should be accessible to nonexperts and newcomers to the field

Bereitstellung und Verteilung einhergehen

2Kompatiblität der Verfassungen und Mitgliedschaft im Europarat18

deren Aussagen nachtraglich in das neue Gewand des Koordinaten­ apparats zu kleiden

Ein treuer Kunde

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems 87 The book should be accessiblesystem 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 of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as