Giotto
From MaRDI portal
Cited in
(26)- Uppaal2k
- SIGNAL
- Cheddar
- LUSTRE
- ROTEC: robust to early termination command governor for systems with limited computing capacity
- Isolation scheduling on multicores: model and scheduling approaches
- AQuoSA
- Polychrony
- TrueTime
- RTC toolbox
- Soft real-time scheduling for embedded control systems
- Shrinking timed automata
- Esterel
- PALLOC
- MARTE
- Analyzing Real-Time Event-Driven Programs
- TAME
- 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
- On implementable timed automata
- Applications and Theory of Petri Nets 2004
- Formal Modeling and Analysis of Timed Systems
- Multi-task implementation of multi-periodic synchronous programs
- Real time scheduling theory: A historical perspective
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- Dispatch sequences for embedded control models
This page was built for software: Giotto
