Modélisation formelle et vérification de systèmes de drones civils à l’aide de méthodes probabilistes paramétrées

par Ran Bao

Projet de thèse en Informatique

Sous la direction de Christian Attiogbé.

Thèses en préparation à Nantes , dans le cadre de Sciences et Technologies de l'Information, Mathématiques (Nantes) depuis le 01-02-2017 .


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


  • Pas de résumé disponible.