Skip to Main content Skip to Navigation
Conference papers

Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study

Matheus Franco Andre de Oliveira Rosana Braga Catherine Dezan 1 Jean-Philippe Diguet 2 Kalinka R L J Castelo Branco 3
1 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
2 Lab-STICC_UBS_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Complete list of metadatas

https://hal.univ-brest.fr/hal-01843133
Contributor : Catherine Dezan <>
Submitted on : Wednesday, July 18, 2018 - 3:20:31 PM
Last modification on : Thursday, December 19, 2019 - 1:27:35 AM

Identifiers

  • HAL Id : hal-01843133, version 1

Citation

Matheus Franco, Andre de Oliveira, Rosana Braga, Catherine Dezan, Jean-Philippe Diguet, et al.. Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study. 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (SSIV'18), Jun 2018, Luxembourg, Luxembourg. ⟨hal-01843133⟩

Share

Metrics

Record views

986