Neil J. Robinson

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

Kirsten Winter, Neil J. Robinson
Modelling Large Railway Interlockings and Model Checking Small Ones. ACSC (2003)
Neil J. Robinson
Incremental Derivation of Abstraction Relations for Data Refinement. ICFEM (2003)
Neil J. Robinson
Checking Z Data Refinements Using an Animation Tool. ZB (2002)
Neil J. Robinson, Colin J. Fidge
Animation of Data Refinements. APSEC (2002)
Neil J. Robinson, Colin J. Fidge
Visualisation of Refinements. Australian Software Engineering Conference (2001)