AFSEC

Approches Formelles des Systèmes Embarqués Communicants

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 »