. . . . "\u0098Une \u009Capproche int\u00E9gr\u00E9e pour la validation et la g\u00E9n\u00E9ration de syst\u00E8mes critiques par raffinement incr\u00E9mental de mod\u00E8les architecturaux / Gilles Lasnier ; sous la direction de Laurent Pautet et de J\u00E9r\u00F4me Hugues / , 2012" . . "1"^^ . . . "2012"^^ . . . . . . . . . .