Neil J. Robinson

According to our database, Neil J. Robinson authored at least 6 papers between 2001 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Animation and visualisation of refinements

Neil J. Robinson

PhD thesis, 2005

2003

Incremental Derivation of Abstraction Relations for Data Refinement.

Neil J. Robinson

Proceedings of the Formal Methods and Software Engineering, 2003

Modelling Large Railway Interlockings and Model Checking Small Ones.

Kirsten Winter, Neil J. Robinson

Proceedings of the Computer Science 2003, 2003

2002

Checking Z Data Refinements Using an Animation Tool.

Neil J. Robinson

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Animation of Data Refinements.

Neil J. Robinson, Colin J. Fidge

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Visualisation of Refinements.

Neil J. Robinson, Colin J. Fidge

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001