The following pages link to SCADE (Q13576):
Displaying 13 items.
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs (Q779456) (← links)
- A metamodel for the design of polychronous systems (Q1014564) (← links)
- Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement (Q1698776) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- (Q2779745) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
- (Q4444743) (← links)
- (Q4472196) (← links)
- (Q4473705) (← links)
- Modular code generation from synchronous block diagrams (Q5261507) (← links)
- Hybrid Systems: Computation and Control (Q5703939) (← links)
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
