Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées
Les drones sont maintenant très répandus dans la société et sont souvent utilisés dans des situations dangereuses pour le public environnant. Il est alors nécessaire d étudier leur fiabilité, en particulier dans le contexte de vols au-dessus d un public. Dans cette thèse, nous étudions la modélisati...
Enregistré dans:
Auteurs principaux : | , , , , , , |
---|---|
Collectivités auteurs : | , , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées / Ran Bao; sous la direction de Christian Attiogbé et de Benoît Delahaye |
Publié : |
2020 |
Accès en ligne : |
Accès Nantes Université
|
Note sur l'URL : | Accès au texte intégral |
Note de thèse : | Thèse de doctorat : Informatique : Nantes : 2020 |
Sujets : |