HYCOMES (SR0581SR)

Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques

HYCOMES →  HYCOMES (SR0754QR)

Statut: Terminée

Responsable : Benoit Caillaud

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Systèmes embarqués et temps réel

Période : 01/07/2013 -> 08/09/2016
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria : 031022-1

Numéro RNSR : 201321225U
N° de structure Inria: SR0581SR

Présentation

Axes de recherche

Relations industrielles et internationales