MoDCS Research Group
Welcome to the Modelling of Distributed and Concurrent Systems page.
Our main research interest is devoted to formal timing modeling and evaluation of systems.
This web space is only devoted to host documentation for our software projects.
For more information about MoDCS work, please refers to http://www.modcs.org/.