Giotto
From MaRDI portal
Software:20966
No author found.
Related Items (14)
ROTEC: robust to early termination command governor for systems with limited computing capacity ⋮ Isolation scheduling on multicores: model and scheduling approaches ⋮ On Implementable Timed Automata ⋮ Soft real-time scheduling for embedded control systems ⋮ Shrinking timed automata ⋮ Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Dispatch sequences for embedded control models ⋮ Verification of distributed systems with local-global predicates ⋮ Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study ⋮ Multi-task implementation of multi-periodic synchronous programs ⋮ Applications and Theory of Petri Nets 2004 ⋮ Real time scheduling theory: A historical perspective ⋮ Formal Modeling and Analysis of Timed Systems ⋮ Analyzing Real-Time Event-Driven Programs
This page was built for software: Giotto
