Salle des Illustres (Toulouse) -> Page d'accueil générale FAC

Journées FAC'2008

3 et 4 avril 2008
LAAS - Toulouse

FéRIA

Formalisation des Activités Concurrentes.


Organisées par le groupe SVF / FéR IA : Spécification, Vérification Formelles.




Les journées FAC'2008 ont eu lieu les 3 et 4 avril 2008, salle de Conférence du LAAS.


Avant Propos

Programme des journées

Actes

Participants    Fichier Excel

Site du groupe SVF/ FéR IA



dernière maj de cette page le 21/04/2008.