AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour June, 2011

Ecole d’été temps réel ETR 2011 (du 29 août au 2 septembre 2011)

Friday 17 June 2011

La septième école d’été temps-réel ETR 2011 (http://www.univ-brest.fr/ETR2011/)
organisé par le LISyC de l’Université de Bretagne Occidentale
aura lieu a à l’Université de Bretagne Occidentale, UFR Sciences et Techniques, 6 avenue Le Gorgeu, Brest.
ETR 2011 est soutenue par l’AFSEC.

Le programme comporte 5 sessions :

  • Développement d’applications temps réel : modèles, paradigmes et langages
  • Méthodes formelles
  • Enjeux industriels
  • Ordonnancement et supports d’exécution ;
  • Réseaux temps réel et qualité de service.

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

Compte rendu du workshop AFSEC lors des journées GPL

Tuesday 14 June 2011

Workshop AFSEC lors des journées GPL le 9 juin 2011 à Lille Polytech.
25 participants.

Les transparents des présentations du workshop AFSEC sont disponibles :

Les actes des journées GPL sont disponibles : ACTES

Publié dans Actions Afsec, Journées | Pas de commentaire »