Savi Maharaj
发表
Savi Maharaj,
Tamsin McCaldin,
Adam Kleczkowski,
2011,
SCSC 2011.
Savi Maharaj,
Carron Shankland,
Chris McCaig,
2009
.
Savi Maharaj,
Adam Kleczkowski,
Liam Delaney,
2013,
SummerSim.
Savi Maharaj,
Elsa L. Gunter,
1995,
Comput. J..
Savi Maharaj,
Carron Shankland,
Muffy Calder,
2001,
FME.
Savi Maharaj,
Bruce James McAdam,
Omair Ameerbakhsh,
2019,
Int. J. Hum. Comput. Stud..
Savi Maharaj,
Robert G. Clark,
Thomas Wilson,
2007,
Software & Systems Modeling.
Savi Maharaj,
Carron Shankland,
Muffy Calder,
2002,
Comput. J..
Savi Maharaj,
Adam Kleczkowski,
2010,
SummerSim.
Savi Maharaj,
Peter Greene,
2015
.
Savi Maharaj,
Carron Shankland,
Judi Romijn,
2003,
Formal Aspects of Computing.
Savi Maharaj,
Simanti Banerjee,
2014
.
Savi Maharaj,
Amir Hussain,
Tim Paine,
2016,
2016 15th International Conference on Information Technology Based Higher Education and Training (ITHET).
Savi Maharaj,
Elsa L. Gunter,
1994,
TPHOLs.
Savi Maharaj,
Robert G. Clark,
Thomas Wilson,
2007
.
Savi Maharaj,
L. M. Bujorianu,
Marius C. Bujorianu,
2008
.
Savi Maharaj,
Robert G. Clark,
Thomas Wilson,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Savi Maharaj,
Sten Agerholm,
Juan Bicarregui,
1998,
Proof in VDM.
Savi Maharaj,
Robert G. Clark,
Thomas Wilson,
2009
.
Savi Maharaj,
Carron Shankland,
Judi Romijn,
2003,
Formal Aspects of Computing.
Savi Maharaj,
S. Maharaj,
1994,
TYPES.
Savi Maharaj,
Juan Bicarregui,
1997,
Proceedings 12th IEEE International Conference Automated Software Engineering.
Jennifer Badham,
Mario Paolucci,
Dirk Helbing,
2014
.
Savi Maharaj,
Marius C. Bujorianu,
Manuela L. Bujorianu,
2005
.
Savi Maharaj,
Carron Shankland,
2000,
J. Univers. Comput. Sci..
Savi Maharaj,
Adam Kleczkowski,
A. Kleczkowski,
2012,
BMC Public Health.
Savi Maharaj,
Robert G. Clark,
Thomas Wilson,
2005
.
Savi Maharaj,
Adam Kleczkowski,
Susan Rasmussen,
2015,
BMC Public Health.