Colin Millerchip

1994199519961997199819992000200120022003200420052006200720082009201020116 14 10 7 18 14 1 1 3 1 1 1

Brendan MahonyResearch Scientist, Defence Science and Technology GroupAdresse e-mail validée de dst.defence.gov.au
Ian James HayesProfessor of Software Engineering, The University of QueenslandAdresse e-mail validée de uq.edu.au

Colin Millerchip

Affiliation inconnue

Adresse e-mail validée de millerchip.org


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	24	1993
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	22	1994
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	19	1995
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	12	1993

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–4

Nombre de citations par an