EN FR
EN FR


2015 Team Activity Report
ESTASYS
Efficient STAtistical methods in SYstems of systems
Inria teams are typically groups of researchers working on the definition of a common project, and objectives, with the goal to arrive at the creation of a project-team. Such project-teams may include other partners (universities or research institutions).
Research centre: Rennes - Bretagne-Atlantique


Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • 4. - Security and privacy
  • 4.5. - Formal methods for security
  • 6. - Modeling, simulation and control
  • 6.1. - Mathematical Modeling
  • 6.3. - Computation-data interaction
  • 8.2. - Machine learning
Other Research Topics and Application Domains:
  • 4. - Energy
  • 4.2. - Renewable energy production
  • 4.4. - Energy consumption
  • 6. - IT and telecom
  • 6.4. - Internet of things
  • 6.5. - Information systems
  • 6.6. - Embedded systems