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

Germain Saval (Organiser)

University of Namur

Activity: Participating in or organising an event types › Participation in conference

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

Period	13 Jun 2007 → 15 Jun 2007
Event type	Conference
Location	FUNDP, Namur, BelgiumShow on map

Documents & Links

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