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 Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.
Proceedings, refereed
2000

Students under supervision

Find publication

Status

Publication type

Export 2 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
2000

Proceedings, refereed

In Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.
Status: Published