The following pages link to (Q3128862):
Displayed 7 items.
- An engineering process for the verification of real-time systems (Q877159) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Induction in the timed interval calculus (Q1399964) (← links)
- Applying string-rewriting to sequence-based specification (Q2248084) (← links)
- Interval Duration Logic (Q2842590) (← links)
- Towards Modelling Obligations in Event-B (Q3535374) (← links)