Gordon A. Rose
发表
Gordon A. Rose,
G. Rose,
1967,
IEEE Trans. Electron. Comput..
Anthony Lee,
Roger Duke,
Gordon A. Rose,
1990,
Protocol Specification, Testing and Verification.
Roger Duke,
Gordon A. Rose,
D. Johnston,
1987,
Aust. Comput. J..
Roger Duke,
Gordon A. Rose,
R. Duke,
2000
.
Graeme Smith,
Roger Duke,
Gordon A. Rose,
1990,
FORTE.
Peter Eades,
Brian Alspach,
Gordon A. Rose,
1983,
Discret. Appl. Math..
Gordon A. Rose,
1998,
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Jim Welsh,
Gordon A. Rose,
M. Lloyd,
1986,
Aust. Comput. J..
Jin Song Dong,
Roger Duke,
Gordon A. Rose,
1997
.
Jin Song Dong,
Roger Duke,
Gordon A. Rose,
1994
.
Roger Duke,
Gordon A. Rose,
R. Duke,
1994
.
Jin Song Dong,
Roger Duke,
Gordon A. Rose,
1997,
Object Oriented Syst..
Gordon A. Rose,
G. Rose,
1992,
Object Orientation in Z.
Graeme Smith,
Paul King,
Roger Duke,
1991,
TOOLS.
Roger Duke,
Graeme Smith,
Gordon A. Rose,
1995
.
John P. Penny,
T. Pearcey,
J. G. Sanderson,
1963,
IEEE Trans. Electron. Comput..
Gordon A. Rose,
1965,
IEEE Trans. Electron. Comput..
Gordon A. Rose,
Wesley M. Johnston,
G. Rose,
1993
.
Ken R. Parker,
Gordon A. Rose,
1992,
FORTE.
Gordon A. Rose,
G. Rose,
1968,
IFIP Congress.
Gordon A. Rose,
Tim Roper,
1983,
IFIP Congress.
Ian J. Hayes,
Gordon A. Rose,
M. Mowbray,
1989,
Protocol Specification, Testing and Verification.
Jin Song Dong,
Roger Duke,
Gordon A. Rose,
1995,
Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.
David A. Carrington,
David J. Duke,
Graeme Smith,
1989,
FORTE.
Graeme Smith,
Paul King,
Roger Duke,
1991
.