Slides

FORUM MÉTHODES FORMELLES
CYCLE DE CONFÉRENCES
TESTS ET MÉTHODES FORMELLES
CONCEPTEUR, OPÉRATEUR & INTÉGRATEUR DE SYSTÈMES CRITIQUES
www.c-s.fr
CS – Communication & Systèmes
/1
UN PEU D’HISTOIRE
CS – Communication & Systèmes
/2
PRÉCÉDENTES EDITIONS
CS – Communication & Systèmes
/3
ENQUÊTE DE SATISFACTION
CS – Communication & Systèmes
/4
TESTS ET MÉTHODES FORMELLES: MATIN
CS – Communication & Systèmes
/5
TESTS ET MÉTHODES FORMELLES: APRÈS-MIDI
CS – Communication & Systèmes
/6
VOS PROPOSITIONS NOUS INTÉRESSENT, CONTACTEZ LE COMITÉ DE PROGRAMME …
CS – Communication & Systèmes
/7
CS
22, avenue Galilée 92350 Le Plessis Robinson
Tél. : 01 41 28 40 00
www.c-s.fr
CONCEPTEUR, OPÉRATEUR & INTÉGRATEUR DE SYSTÈMES CRITIQUES
www.c-s.fr
CS – Communication & Systèmes
/8