HYCOMES: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques | Rogue Scholar

Type

Facility

Location

Rennes, Brittany, France

Website

https://www.inria.fr/equipes/hycomes

Parent

Institut de Recherche en Informatique et Systèmes Aléatoires

ROR

Centre Inria de l'Université de Rennes

ROR