libFAUDES
From MaRDI portal
LibFAUDES
Cited in
(16)- On conditional decomposability
- UMDES
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
- Modeling for supervisor synthesis -- a lock-bridge combination case study
- Natural projection as partial model checking
- From natural projection to partial model checking and back
- Coordination control of discrete-event systems revisited
- CMC
- TCT
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
- Supremica
- Coordination control of distributed discrete-event systems
- MuDiv
- PESTS
- Control of distributed systems: tutorial and overview
- Abstraction-based verification of codiagnosability for discrete event systems
This page was built for software: libFAUDES
