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 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
BOLDR
Query Intermediate Representation Library
CARNAVAL
Database of RNA Recurrent Interaction Networks
PINT
Static analyzer for dynamics of Automata Networks
> tous les logiciels
