The following pages link to (Q4028640):
Displaying 6 items.
- Model checking action system refinements (Q1019017) (← links)
- Mechanizing some advanced refinement concepts (Q1309250) (← links)
- An action-based formal model for concurrent real-time systems (Q1362773) (← links)
- Superposition refinement of reactive systems (Q1918935) (← links)
- (Q2997475) (← links)
- (Q3770348) (← links)