Accueil
>
Production scientifique
> Logiciels et brevets
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
Logiciel Datacert
Datacert - DataCert: A coq library for Data Intensive Languages and Systems Certification
Date de dépôt : 01 janvier 1970
Responsable :
CONTEJEAN Evelyne
Logiciel - Licence :
CeCILL
Activités de recherche
Langages et systèmes centrés données
Membres
BENZAKEN Véronique
DUMBRAVA Stéfania Gabriela
Equipe
Vérification d'Algorithmes, Langages et Systèmes
Logiciels et brevets
BSP++
The C++ Bulk Synchronous Parallelism Library
TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies
FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé
> tous les logiciels
