‪Colin Millerchip‬ - ‪Academic Search‬

קבלת פרופיל משלי

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	81	0
H-index	4	0
i10-index	4	0

0

18

9

1994199519961997199819992000200120022003200420052006200720082009201020116 14 10 9 18 14 2 1 4 1 1 1

מחברים משותפים

Brendan MahonyResearch Scientist, Defence Science and Technology Groupכתובת אימייל מאומתת בדומיין dst.defence.gov.au
Ian James HayesProfessor of Software Engineering, The University of Queenslandכתובת אימייל מאומתת בדומיין uq.edu.au

עקוב אחר

Colin Millerchip

Colin Millerchip

שותפות לא ידועה

כתובת אימייל מאומתת בדומיין millerchip.org


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	25	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‏	23	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‏	14	1993

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–4