Porteur du projet

INRIA Rennes - Bretagne Atlantique

Partenaires

Systerel, INRIA Sophia Antipolis-Méditerranée, INRIA Nancy - Grand EstLRI (CNRS - IDF Sud), CEA LIST (COMMISSARIAT A L'ENERGIE ATOMIQUE)

Financeurs

ANR,

DECERT

Concevoir une architecture pour des procédures de décision coopérant entre elles, avec une attention particulière portée à des fragments de l’arithmétique et à leur combinaison avec d’autres théories concernant les structures de données

 

Porteur du projet

INRIA Rennes - Bretagne Atlantique

Partenaires

Systerel, INRIA Sophia Antipolis-Méditerranée, INRIA Nancy - Grand EstLRI (CNRS - IDF Sud), CEA LIST (COMMISSARIAT A L'ENERGIE ATOMIQUE)

Financeurs

ANR,
Thématique Marchés Investissement R&D Durée Année de financement
Logiciel
-- 2747 K€ 36 mois 2008
Thématique
Logiciel
Marchés
--
Investissement R&D
2747 K€
Durée
36 mois
Année de financement
2008

Retour à l'annuaire des projets