Cercle Objectifs Logiciel Zéro Défaut
Précédentes journées du Club
Modélisation comportementale des systèmes critiques:
Thème
Programme
Trusted Components :
Présentation du thème
Programmation de la journée
L'évolution des techniques de validation des spécifications formelles"
organisée en commun avec le B User Group
(
Programme)
UML et techniques formelles
Page maintenue par:
![[lettre]](images/letter.gif)
Sylvie Vignes