The following pages link to Abstract Model Repair (Q3196342):
Displayed 4 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Abstract model repair for probabilistic systems (Q1706149) (← links)
- Two AGM-style characterizations of model repair (Q2294584) (← links)
- Model and program repair via group actions (Q6091216) (← links)