Follow
Colin Millerchip
Colin Millerchip
Unknown affiliation
Verified email at millerchip.org
Title
Cited by
Cited by
Year
The generic problem competition: A whole system specification of the boiler system
C Millerchip, B Mahony, IJ Hayes
Software Verification Research Centre, University of Queensland, 1993
241993
A boiler control system: Overview of a case-study in timed refinement
B Mahony, C Millerchip, IJ Hayes
Software Safety: Everybody's Business| Proc. 1993 International Workshop on …, 1994
221994
Z-based notation for the specification of timing properties
K Duddy, L Everett, C Millerchip, B Mahony, IJ Hayes
Draft, Department of Computer Science, University of Queensland, 1995
191995
A boiler control system: A case study in timed refinement
BP Mahony, C Millerchip, IJ Hayes
International Invitational Workshop-Design and Review of Software Controlled …, 1993
121993
The system can't perform the operation now. Try again later.
Articles 1–4