Project-Team Mexico
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
MEXICO
Modeling and Exploitation of Interaction and Concurrency
Research centre: Saclay - Île-de-France
In partnership with: CNRS, Ecole normale supérieure de Cachan
In collaboration with: Laboratoire specification et vérification (LSV)

Field: Algorithmics, Programming, Software and Architecture
Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • 2.3. - Embedded and cyber-physical systems
  • 2.4. - Reliability, certification
  • 4.5. - Formal methods for security
  • 6.4.3. - Observability and Controlability
  • 7.1. - Parallel and distributed algorithms
  • 7.11. - Performance evaluation
  • 7.2. - Discrete mathematics, combinatorics
  • 7.3. - Operations research, optimization, game theory
  • 7.4. - Logic in Computer Science
  • 7.9. - Graph theory
Other Research Topics and Application Domains:
  • 1.1.11. - Systems biology
  • 1.1.12. - Synthetic biology
  • 1.1.2. - Molecular biology
  • 1.1.3. - Cellular biology
  • 6.3.1. - Web
  • 6.3.3. - Network services
  • 7.1. - Traffic management
  • 7.2.1. - Smart vehicles