Projects

I coordinate the Laboratory for Modelling and Simulation dedicated to the definition and application of formal methods to real problems. The most recent projects regard



In the past, I coordinated the following projects:



Emanuela Merelli, School of Science and Technology -- Computer Science Division,
Camerino University.
Last modified: 25 Apr 2011 .