EN FR
EN FR
Overall Objectives
New Software and Platforms
Bibliography
Overall Objectives
New Software and Platforms
Bibliography


2017 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:
  • A6.4.1. - Deterministic control
  • A6.4.3. - Observability and Controlability
  • A7.1. - Algorithms
  • A7.2. - Logic in Computer Science
  • A8.1. - Discrete mathematics, combinatorics
  • A8.2. - Optimization
  • A8.7. - Graph theory
  • A8.8. - Network science
  • A8.9. - Performance evaluation
Other Research Topics and Application Domains:
  • B1.1.2. - Molecular biology
  • B1.1.3. - Cellular biology
  • B1.1.11. - Systems biology
  • B1.1.12. - Synthetic biology
  • B6.3.1. - Web
  • B6.3.2. - Network protocols
  • B6.3.3. - Network Management
  • B7.1. - Traffic management
  • B7.2.1. - Smart vehicles