Cited in
(22)- What is in a step: new perspectives on a classical question
- Dynamic and formal verification of embedded systems: A comparative survey
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 2080011 (Why is no real title available?)
- scientific article; zbMATH DE number 2080750 (Why is no real title available?)
- scientific article; zbMATH DE number 2033527 (Why is no real title available?)
- A metamodel for the design of polychronous systems
- Scicos
- SynDEx
- 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
- scientific article; zbMATH DE number 1728506 (Why is no real title available?)
- Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement
This page was built for software: SCADE
