The following pages link to (Q4472226):
Displaying 6 items.
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- Checking noninterference in timed CSP (Q1941887) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- Timed CSP = Closed Timed Automata1 (Q2842610) (← links)
- Time-Bounded Verification (Q3184695) (← links)
