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

Embedded and Real-Time Operating Systems, Fachbücher von K. C. Wang

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

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

Real Time Modeling, Simulation and Control of Dynamical Systems, Fachbücher von Asif Mahmood Mughal

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

Thermal Analysis of Fair Scheduling in Real-time Embedded Systems, Fachbücher von Tayyaba Bokhari

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

Architecting and Modeling Automotive Embedded Systems, Fachbücher

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

Formal Modeling and Verification of Cyber-Physical Systems, Fachbücher von Ulrich Kühne, Rolf Drechsler

Embedded And Real-time Operating Systems 3556

Radio Communication Device Driver for Embedded/Real-Time Systems, Fachbücher

Specification And Seamless Verification Ofembedded Real-time Systems

Real-Time Embedded Application and Techniques, Fachbücher