EN FR
EN FR


up Home | Next next


2013 Team Activity Report
SUMO
SUpervision of large MOdular and distributed systems
Research centre: Rennes - Bretagne-Atlantique


Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification
Keywords: Distributed Systems, Formal Methods, Discrete Event Systems, Verification, Self-management