Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems, Fachbücher von Francky C...

Modeling, Verification And Exploration Of Task-level Concurrency In

Distributed, Embedded and Real-time Java Systems, Fachbücher

Specification and Seamless Verification ofEmbedded Real-Time Systems, Fachbücher

Logical Time @ Work for the Modeling and Analysis of Embedded Systems, Fachbücher

Mechanical Verification of Parameterized Real-Time Systems, Fachbücher von Thomas Göthel

Embedded Systems: Design, Analysis and Verification, Fachbücher

Modeling, Simulation, and Verification of Stochastic Hybrid Systems, Fachbücher

Self-Organization in Embedded Real-Time Systems, Fachbücher

Memory Controllers for Real-Time Embedded Systems, Fachbücher

Real-time task scheduling modeling using Mixed-integer Programming, Fachbücher

High-level platform modeling and exploration, Fachbücher

Real-time task pipelines allocation on multicore systems, Fachbücher

Energy-Aware Scheduling For Real-Time Embedded Systems, Fachbücher

Architecting and Modeling Automotive Embedded Systems, Fachbücher

Embedded Systems -- Modeling, Technology, and Applications, Fachbücher