ALIDECS

Langages et Atelier Intégré pour le Développement
de Composants Embarqués Sûrs


Ce projet est une ACI "Sécurité & Informatique"

 









 

ACI Alidecs
Réunion de travail
INRIA Rhône-Alpes, Montbonnot

7,8 septembre 2005

Une réunion de travail de l'ACI sécurité Alidecs a eu lieu à Grenoble/Montbonnot.
  • Paul Caspi
    Simulink vs UML: How to Avoid the Embedded Software to Split into Two Parts ?
  • Gregor Goessler
    Modes dans Ptolemy II
  • Pascal Raymond
    Le langage Lutin, sémantique et compilation (transparents)
  • Marc Pouzet
    Automates et Signaux dans Lucid Synchrone