Primary tabs

Most recent publications

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
In Proceedings of IEEE International Conference on Empirical Software Engineering and Measurement (ESEM 2012). New York, NY, USA: ACM, 2012.
Proceedings, refereed
2012
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

Selected publications

Find publication

Status

Export 4 results:
2015

Proceedings, refereed

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
2012

Proceedings, refereed

In Proceedings of IEEE International Conference on Empirical Software Engineering and Measurement (ESEM 2012). New York, NY, USA: ACM, 2012.
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