Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Pff library
Pff library - Pff library
Date de dernière version : 01 janvier 2013

Responsable : BOLDO Sylvie






Logiciel



Activités de recherche

Membres
  BOLDO Sylvie

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes