'un environnement non prévu. Des méthodes de vérifications formelles peuvent être mises en œuvre pour augmenter... -proving ) ; la vérification par modèle ( model-checking ) et ses nombreuses variantes et extensions... , la part de la [...]
10 févr. 2013