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

Matheus Franco; Andre de Oliveira; Rosana Braga; Catherine Dezan; Jean-Philippe Diguet; Kalinka R L J Castelo Branco

Conference Papers Year : 2018

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

, , , (1) , (2) , (3)

1
2
3

Matheus Franco

Function : Author
PersonId : 1034720

Andre de Oliveira

Function : Author
PersonId : 1034721

Rosana Braga

Function : Author
PersonId : 1034722

Catherine Dezan

Function : Author
PersonId : 13930
IdHAL : catherine-dezan
ORCID : 0000-0001-8857-6079
IdRef : 158776178

Lab-STICC_UBO_CACS_MOCS

CV

Jean-Philippe Diguet

Function : Author
PersonId : 607
IdHAL : jean-philippe-diguet
ORCID : 0000-0003-0728-6040
IdRef : 13096753X

Lab-STICC_UBS_CACS_MOCS

CV

Kalinka R L J Castelo Branco

Function : Author

Universidade de São Paulo = University of São Paulo

Domains

Computation and Language [cs.CL] Performance [cs.PF] Modeling and Simulation

Catherine Dezan : Connect in order to contact the contributor

https://hal.univ-brest.fr/hal-01843133

Submitted on : Wednesday, July 18, 2018-3:20:31 PM

Last modification on : Wednesday, November 13, 2024-5:02:04 PM

Dates and versions

hal-01843133 , version 1 (18-07-2018)

Identifiers

HAL Id : hal-01843133 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST CNRS LAB-STICC_UBO UBS LAB-STICC_UBS ENIB LAB-STICC_ENIB LAB-STICC TDS-MACS IBNM

79 View

0 Download