EN FR
EN FR


2016 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. - Verification, reliability, certification
  • 4.5. - Formal methods for security
  • 6.4.3. - Observability and Controlability
  • 7.1. - Parallel and distributed algorithms
  • 7.2. - Discrete mathematics, combinatorics
  • 7.3. - Optimization
  • 7.4. - Logic in Computer Science
  • 7.9. - Graph theory
  • 7.11. - Performance evaluation
Other Research Topics and Application Domains:
  • 1.1.2. - Molecular biology
  • 1.1.3. - Cellular biology
  • 1.1.11. - Systems biology
  • 1.1.12. - Synthetic biology
  • 6.3.1. - Web
  • 6.3.3. - Network Management
  • 7.1. - Traffic management
  • 7.2.1. - Smart vehicles