共 50 条
- [21] An analysis of forward simulation data refinement ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 148 - 167
- [22] Robust Simulation Functions with Disturbance Refinement 2023 EUROPEAN CONTROL CONFERENCE, ECC, 2023,
- [26] Retrenchment tutorial SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 259 - 259