Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Lucid Synchrone
Lucid Synchrone - Lucid Synchrone
Date de dernière version : 01 avril 2006

Responsable : POUZET Marc


Langage data-flow synchrone pour la programmation
de systèmes réactifs



Logiciel



Activités de recherche

Membres
  POUZET Marc

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

Logiciels et brevets
BOLDR
Query Intermediate Representation Library

CARNAVAL
Database of RNA Recurrent Interaction Networks

PINT
Static analyzer for dynamics of Automata Networks