Home
2014 Project-Team Activity Report
SUMO
SUpervision of large MOdular and distributed systems
Research centre:
Rennes - Bretagne-Atlantique
In partnership with: CNRS, Université Rennes 1
Keywords: Distributed Systems, Formal Methods, Discrete Event Systems, Verification, Self-management