Projet CORSS
Réunion du sous groupe Langage

ACI Sécurité Informatique

Vendredi 28 novembre 2003
LABRI
salle S204 (2ème étage du batiment de l'ENSEIRB)

Matin

1. Model checking
   François Vernadat
   
   
2. Preuve assistée
   Mamoun Filali
   
   
3. Méthode de développement B
   Jean-Paul Bodeveix
   
   
4. Bossa
   Gilles Muller
   
   
5. Langage de definition de services de téléphonie
   Charles Consel
   
   

Après-midi

• Etudes de cas.
  
  
• Outils et méthodes appropriés.

This document was translated from L^AT_EX by H^EV^EA.