Chris George
发表
Gregory Giuliani,
Nicolas Ray,
Anthony Lehmann,
2013
.
Huaikou Miao,
Chris George,
Icfem,
2002
.
Raghavan Srinivasan,
Jeffrey G. Arnold,
Chris George,
2016,
Environ. Model. Softw..
Chris George,
Juan Ignacio Perna,
2007,
SEFM.
Chris George,
Huaikou Miao,
2002,
Lecture Notes in Computer Science.
Chris George,
Juan Ignacio Perna,
J. Perna,
2006,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Chris George,
2004,
ICFEM.
Anne Elisabeth Haxthausen,
Klaus Havelund,
Chris George,
1992
.
Chris George,
2005,
Formal Aspects of Computing.
Chris George,
Do Tien Dung,
1997,
Requirements Targeting Software and Systems Engineering.
Hrushikesha Mohanty,
Chris George,
Satyajit Acharya,
2005,
Fifth International Conference on Quality Software (QSIC'05).
Huaikou Miao,
Chris George,
2002
.
Silvia Lizeth Tapia Tarifa,
Chris George,
Ana Gabriela Garis,
2009,
IFM.
Mogens Nielsen,
Klaus Havelund,
Chris George,
2005,
Formal Aspects of Computing.
John V. Monaco,
Chris George,
Leigh Anne Clevenger,
2013
.
Wen Chen,
T. S. E. Maibaum,
Alan Wassyng,
2012,
ICEIS.
Chris George,
Juan Ignacio Perna,
J. Perna,
2006
.
Mogens Nielsen,
Klaus Havelund,
Chris George,
1988,
VDM Europe.
Chris George,
Xia Yong,
C. George,
1999,
World Congress on Formal Methods.
Chris George,
2001
.
Chris George,
1987,
VDM Europe.
Chetan Maringanti,
Gregory Giuliani,
Nicolas Ray,
2017,
Water Resources.
Chris George,
Anne E. Haxthausen,
2006,
FM 2006.
Wen Chen,
T. S. E. Maibaum,
Alan Wassyng,
2015,
ICEIS.
Anne Elisabeth Haxthausen,
Chris George,
2007,
Formal Aspects of Computing.
Ana Funes,
Chris George,
2003
.
Hrushikesha Mohanty,
Chris George,
Satyajit Acharya,
2004,
ICDCIT.
Yanjie Wang,
Chris George,
2002,
FMOODS.
Dines Bjørner,
Chris George,
Soren Prehn,
1999
.
Bernhard K. Aichernig,
Chris George,
2006,
Electron. Notes Theor. Comput. Sci..
Anne Elisabeth Haxthausen,
Chris George,
1993,
FME.
Silvia Lizeth Tapia Tarifa,
Chris George,
Abigail Parisaca Vargas,
2008,
2008 International Conference of the Chilean Computer Science Society.
Chris George,
1991,
VDM Europe.
Chris George,
2007,
Domain Modeling and the Duration Calculus.
Ana Funes,
Chris George,
2002
.
Anne Elisabeth Haxthausen,
Chris George,
2003,
Comput. Artif. Intell..
Aristides Dasso,
Chris George,
2004,
IASTED Conf. on Software Engineering and Applications.
Chris George,
1996,
FME.
Silvia Lizeth Tapia Tarifa,
Chris George,
Ana Gabriela Garis,
2009
.
Chris George,
2002,
10th Anniversary Colloquium of UNU/IIST.
Jeff W. Sanders,
Percy Antonio Pari Salas,
Padmanabhan Krishnan,
2007,
Formal Methods and Hybrid Real-Time Systems.