‪Colin Millerchip‬ - ‪Google Scholar‬

Skapa en profil

Citeras av

	Alla	Sedan 2019
Citat	77	0
h-index	4	0
i10-index	4	0

0

18

9

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

Medförfattare

Brendan MahonyResearch Scientist, Defence Science and Technology GroupVerifierad e-postadress på dst.defence.gov.au
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerifierad e-postadress på uq.edu.au

Colin Millerchip

Colin Millerchip

Okänd anknytning

Verifierad e-postadress på millerchip.org


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–4