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...
Saved in:
Main Authors : | , , , , , , |
---|---|
Corporate Authors : | , , |
Format : | Thesis |
Language : | français |
Title statement : | 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 |
Published : |
2020 |
Online Access : |
Via Nantes Université network
|
Online Access note : | Accès au texte intégral |
Note de thèse : | Thèse de doctorat : Informatique : Nantes : 2020 |
Subjects : |