AFSEC

Archive pour September, 2007

Bilan de l’école d’été ETR 2007 du 03 au 07 septembre 2007

Thursday 27 September 2007

ETR 2007

Bilan de l’école d’été temps-réel organisée avec le soutien de l’AFSEC à Nantes du 03 au 07 septembre 2007 :

  • 96 inscrits dont 52 doctorants.
  • 23 exposés sur 5 sessions :
    • Développement de systèmes temps réel : modèles, paradigmes et langages
    • Les enjeux industriels
    • Méthodes formelles
    • Ordonnancement et supports d’execution ;
    • Reseaux et qualite de service.
  • 14 présentations dans les sessions doctorants

Les transparents des présentations sont disponibles sur la page programme

Publié dans Actions Afsec, Ecoles d'été | Pas de commentaire »

CFP IEEE Transactions on Industrial Informatics

Friday 14 September 2007

IEEE Transactions on Industrial Informatics
Special Section on:
“Formal Methods for Embedded Systems Design�

CFP

Soumission des articles : 31 octobre 2007

Publié dans Ouvrages - Journaux | Pas de commentaire »