Pages that link to "Item:Q1918935"
From MaRDI portal
The following pages link to Superposition refinement of reactive systems (Q1918935):
Displaying 10 items.
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Retrenchment for Event-B: UseCase-wise development and Rodin integration (Q539231) (← links)
- Simple feature engineering via neat default retrenchments (Q649587) (← links)
- Kaisa Sere: in memoriam (Q736909) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Procedures and atomicity refinement (Q1350927) (← links)
- Coordinating action systems (Q1592481) (← links)
- Patterns for Refinement Automation (Q3066119) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- A parametric rely-guarantee reasoning framework for concurrent reactive systems (Q6535947) (← links)
