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
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes