Colin Millerchip
Colin Millerchip
Okänd anknytning
Verifierad e-postadress på millerchip.org
Titel
Citeras av
Citeras av
År
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
231994
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
231993
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–4