| |
| 2003 | ||
|---|---|---|
| 5 | EE | Kirsten Winter, Neil J. Robinson: Modelling Large Railway Interlockings and Model Checking Small Ones. ACSC 2003: 309-316 |
| 4 | EE | Neil J. Robinson: Incremental Derivation of Abstraction Relations for Data Refinement. ICFEM 2003: 246-265 |
| 2002 | ||
| 3 | EE | Neil J. Robinson, Colin J. Fidge: Animation of Data Refinements. APSEC 2002: 137-146 |
| 2 | EE | Neil J. Robinson: Checking Z Data Refinements Using an Animation Tool. ZB 2002: 62-81 |
| 2001 | ||
| 1 | EE | Neil J. Robinson, Colin J. Fidge: Visualisation of Refinements. Australian Software Engineering Conference 2001: 244-254 |
| 1 | Colin J. Fidge | [1] [3] |
| 2 | Kirsten Winter | [5] |