swMATH8971MaRDI QIDQ20966FDOQ20966
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-45449-7_12
Cited In (26)
- 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
- On implementable 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
- Shrinking timed automata
- Isolation scheduling on multicores: model and scheduling approaches
- Uppaal2k
- SIGNAL
- Cheddar
- Applications and Theory of Petri Nets 2004
- LUSTRE
- AQuoSA
- Polychrony
- TrueTime
- RTC toolbox
- Analyzing Real-Time Event-Driven Programs
- Esterel
- PALLOC
- MARTE
- TAME
- Soft real-time scheduling for embedded control systems
- Multi-task implementation of multi-periodic synchronous programs
This page was built for software: Giotto
