Contribution à la modélisation et à la vérification des systèmes critiQUES COMPLEXES

par Nesrine Darragi

Thèse de doctorat en Automatique, génie informatique, traitement du signal et des images

Sous la direction de Simon Collart-Dutilleul.

Thèses en préparation à l'Ecole centrale de Lille , dans le cadre de École doctorale Sciences pour l'ingénieur (Lille) , en partenariat avec Laboratoire d'automatique, génie informatique et signal (LAGIS) (laboratoire) depuis le 18-10-2011 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.