The following pages link to (Q4457839):
Displaying 4 items.
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Checking noninterference in timed CSP (Q1941887) (← links)
- Temporal reasoning through automatic translation of tock-CSP into timed automata (Q2154047) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)