Project-Team Sumo
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2015 Project-Team Activity Report
SUMO
SUpervision of large MOdular and distributed systems
Research centre: Rennes - Bretagne-Atlantique
In partnership with: CNRS, Université Rennes 1

Field: Algorithmics, Programming, Software and Architecture
Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • 1.3. - Distributed Systems
  • 2.3.2. - Cyber-physical systems
  • 2.4.2. - Verification
  • 4.5. - Formal methods for security
  • 6.4. - Automatic control
  • 7.1. - Parallel and distributed algorithms
  • 7.3. - Operations research, optimization, game theory
  • 7.4. - Logic in Computer Science
  • 7.8. - Information theory
Other Research Topics and Application Domains:
  • 1.1.9. - Bioinformatics
  • 5.2.2. - Railway
  • 6.2. - Network technologies