Elaboration d'une méthodologie de vérification formelle de spécifications B dans l'atelier de preuve PERF.Application aux exigences de sureté de fonctionnnement des systèmes ferroviaires

par Alexandra Halchin

Projet de thèse en Informatique

Sous la direction de Yamine Aït-Ameur.

Thèses en préparation à Toulouse, INPT , dans le cadre de École doctorale Mathématiques, informatique et télécommunications (Toulouse) , en partenariat avec Institut de Recherche en Informatique de Toulouse (1995-....) (laboratoire) depuis le 17-10-2016 .


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


  • Pas de résumé disponible.