Primary tabs

Most recent publications

In NATO Modelling and Simulation Group Symp. Integrating Modelling & Simulation in the Defence Acquisition Lifecycle and Military Training Curriculum (MSG-126). NATO Science and Technology Organization, 2014.
Proceedings, refereed
2014
In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Proceedings, refereed
1998

Students under supervision

Find publication

Status

Export 3 results:
2014

Proceedings, refereed

In NATO Modelling and Simulation Group Symp. Integrating Modelling & Simulation in the Defence Acquisition Lifecycle and Military Training Curriculum (MSG-126). NATO Science and Technology Organization, 2014.
Status: Published
1998

Proceedings, refereed

In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Status: Published

Technical reports

University of Edinburgh, 1998.
Status: Published