swMATH829MaRDI QIDQ13576FDOQ13576
Author name not available (Why is that?)
Official website: http://www.esterel-technologies.com/products/scade-suite/
Cited In (20)
- What is in a step: new perspectives on a classical question
- Hybrid Systems: Computation and Control
- Dynamic and formal verification of embedded systems: A comparative survey
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A metamodel for the design of polychronous systems
- ScicosLab
- LUSTRE
- DLC
- LNT2LOTOS
- XTL
- Modechart
- GME
- Modular code generation from synchronous block diagrams: modularity vs. code size
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
- Title not available (Why is that?)
- Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement
This page was built for software: SCADE
