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 dernière version : 12 avril 2014
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
CODALAB
open source framework for running competitions
DNADNA
Deep Neural Architectures for DNA
CARTOLABE
CARTOLABE
> tous les logiciels
