PAREO (SR0418ER)

Ilôts formels: fondements et applications

PROTHEO (SR0277VR) →  PAREO →  PAREO (SR0395GR)

Statut: Terminée

Responsable : Pierre-etienne Moreau

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 : Programmation, vérification et preuves

Période : 01/01/2008 -> 31/12/2010
Dates d'évaluation :

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

CRI : Centre Inria de l'Université de Lorraine
Localisation : Centre Inria de l'Université de Lorraine
Code structure Inria : 051082-0

Numéro RNSR : 200820941G
N° de structure Inria: SR0418ER

Présentation

Axes de recherche

Relations industrielles et internationales