SCADE
From MaRDI portal
Software:13576
No author found.
Related Items (13)
Hybrid Systems: Computation and Control ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems ⋮ What Is in a Step: New Perspectives on a Classical Question ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ A metamodel for the design of polychronous systems ⋮ A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs ⋮ Modular code generation from synchronous block diagrams
This page was built for software: SCADE
