Pages that link to "Item:Q2294584"
From MaRDI portal
The following pages link to Two AGM-style characterizations of model repair (Q2294584):
Displaying 4 items.
- A refinement repair algorithm based on refinement game for KMTS models (Q1784789) (← links)
- Formalizing the repair process --- extended report (Q1924800) (← links)
- Two AGM-style characterizations of model repair (Q2294584) (← links)
- Revising system specifications in temporal logic (Q6097773) (← links)