Andy Galloway
发表
Richard F. Paige,
Lishan Harbird,
Andy Galloway,
2010,
2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.
Andy Galloway,
P. C. Fencott,
Mike A. Lockyer,
1994,
FME.
John A. Clark,
John A. McDermid,
Simon Burton,
2000
.
Andy Galloway,
Ian Toyn,
2007,
2007 Australian Software Engineering Conference (ASWEC'07).
Andy Galloway,
James Blow,
2002,
ZB.
Steve Dunne,
Bill Stoddart,
Andy Galloway,
1999,
Formal Methods Syst. Des..
Andy Galloway,
Gerald Lüttgen,
Radu Siminiceanu,
2008,
VMCAI.
Steve Dunne,
Ian J. Hayes,
Andy Galloway,
2008,
UTP.
Bill Stoddart,
Andy Galloway,
1997,
First IEEE International Conference on Formal Engineering Methods.
Keijiro Araki,
Andy Galloway,
Kenji Taguchi,
1999
.
John A. Clark,
John A. McDermid,
Simon Burton,
1998,
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Richard F. Paige,
Xiaocheng Ge,
Phillip J. Brooke,
2011,
Int. J. Crit. Comput. Based Syst..
Steve Dunne,
Bill Stoddart,
Andy Galloway,
1998,
B.
John A. McDermid,
Andy Galloway,
Trevor J. Cockram,
1998
.
Andy Galloway,
田口,
荒木 啓二郎,
1999
.
John A. McDermid,
Andy Galloway,
Ian Toyn,
2005,
VSTTE.
Steve Dunne,
Bill Stoddart,
Andy Galloway,
1998,
FM-Trends 1998.
Andy Galloway,
Ian Toyn,
2005,
ZB.
Steve Dunne,
Andy Galloway,
2007,
IFM.
Keijiro Araki,
Andy Galloway,
Kenji Taguchi,
1999,
IFM.
John A. McDermid,
Andy Galloway,
Ian Toyn,
2007,
Reliab. Eng. Syst. Saf..
John A. McDermid,
Andy Galloway,
2006,
ICFEM.
John A. McDermid,
Andy Galloway,
Ian Toyn,
2004
.
Keijiro Araki,
Andy Galloway,
K. Taguchi,
1999
.
Bill Stoddart,
Andy Galloway,
A. Galloway,
2001,
Lecture Notes in Computer Science.