Conference Francophone sur les Approches Formelles dans l'Assistance au Developpement de Logiciels (AFADL'07)

Germain Saval (Organisateur)

Universite de Namur

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

Description

Cet atelier a pour objectif de faire le point sur les techniques et outils, fondes sur des approches formelles, permettant d'assurer un certain niveau de confiance dans la construction de logiciels. Les themes portent aussi bien sur la definition, l'evalu

Période	13 juin 2007 → 15 juin 2007
Type d'événement	Une conférence
Lieu	FUNDP, Namur, BelgiqueAfficher sur la carte

Documents et liens

http://www.info.fundp.ac.be/~pys/AFADL07/