Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
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
DNADNA
Deep Neural Architectures for DNA

TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas