The following pages link to (Q4654724):
Displaying 12 items.
- Towards verification of computation orchestration (Q736807) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Automata for solid codes (Q2235761) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Guided synthesis of control programs using UPPAAL (Q2743706) (← links)
- Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets (Q2842581) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
- Synthesizing SystemC Code from Delay Hybrid CSP (Q5055993) (← links)
- Hybrid Systems: Computation and Control (Q5307941) (← links)
- Integer Parameter Synthesis for Timed Automata (Q5326340) (← links)
- FM 2005: Formal Methods (Q5716871) (← links)