Giotto
From MaRDI portal
Software:20966
swMATH8971MaRDI QIDQ20966FDOQ20966
Author name not available (Why is that?)
Cited In (14)
- Formal Modeling and Analysis of Timed Systems
- Real time scheduling theory: A historical perspective
- ROTEC: robust to early termination command governor for systems with limited computing capacity
- 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
- Shrinking timed automata
- Isolation scheduling on multicores: model and scheduling approaches
- Applications and Theory of Petri Nets 2004
- Analyzing Real-Time Event-Driven Programs
- Soft real-time scheduling for embedded control systems
- On Implementable Timed Automata
- Multi-task implementation of multi-periodic synchronous programs
This page was built for software: Giotto
