Approches Formelles dans l'Assistance au Developpement de Logiciels (AFADL'06)

Germain Saval (Orateur)

Universite de Namur

Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

Description

L'atelier AFADL a vocation a rassembler les acteurs academiques et industriels interesses par l'application de techniques formelles aux differents stades du developpement des logiciels. Cet atelier a pour objectif de faire le point sur les methodes, techn

Période	15 mars 2006 → 17 mars 2006
Type d'événement	Une conférence
Lieu	Paris, FranceAfficher sur la carte

Documents et liens

http://cedric.cnam.fr/AFADL06/