|
Search the dblp DataBase
Neil J. Robinson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kirsten Winter, Neil J. Robinson
Modelling Large Railway Interlockings and Model Checking Small Ones. [Citation Graph (0, 0)][DBLP] ACSC, 2003, pp:309-316 [Conf]
- Neil J. Robinson, Colin J. Fidge
Animation of Data Refinements. [Citation Graph (0, 0)][DBLP] APSEC, 2002, pp:137-146 [Conf]
- Neil J. Robinson, Colin J. Fidge
Visualisation of Refinements. [Citation Graph (0, 0)][DBLP] Australian Software Engineering Conference, 2001, pp:244-254 [Conf]
- Neil J. Robinson
Incremental Derivation of Abstraction Relations for Data Refinement. [Citation Graph (0, 0)][DBLP] ICFEM, 2003, pp:246-265 [Conf]
- Neil J. Robinson
Checking Z Data Refinements Using an Animation Tool. [Citation Graph (0, 0)][DBLP] ZB, 2002, pp:62-81 [Conf]
Search in 0.001secs, Finished in 0.001secs
|