Pages that link to "Item:Q2824414"
From MaRDI portal
The following pages link to Refinement checking based on simulation relations (Q2824414):
Displaying 5 items.
- A simulation technique for checking the circle criterion (Q799635) (← links)
- State-level and value-level simulations in data refinement (Q1607097) (← links)
- A comparison of refinement orderings and their associated simulation rules (Q2844831) (← links)
- (Q4808846) (← links)
- Hybrid Systems: Computation and Control (Q5898984) (← links)