Le Palmier des Jacobins (Toulouse) -> Page d'accueil générale FAC
Page d'accueil générale FAC

Journées FAC'2007

15 et 16 mars 2007
CERT-ONERA - 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'2007 ont eu lieu les 15 et 16 mars 2007, salle du 1er étage, bâtiment hexagonal du CERT-ONERA.


Avant Propos

Programme des journées

Actes

Participants

Site du groupe SVF/ FéR IA



dernière maj de cette page le 05/09/2007.