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

Communication Dans Un Congrès Année : 2018

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

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

1
2
3

Matheus Franco

Fonction : Auteur
PersonId : 1034720

Andre de Oliveira

Fonction : Auteur
PersonId : 1034721

Rosana Braga

Fonction : Auteur
PersonId : 1034722

Catherine Dezan

Fonction : Auteur
PersonId : 13930
IdHAL : catherine-dezan
ORCID : 0000-0001-8857-6079
IdRef : 158776178

Lab-STICC_UBO_CACS_MOCS

CV

Jean-Philippe Diguet

Fonction : Auteur
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

Fonction : Auteur

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

Domaines

Informatique et langage [cs.CL] Performance et fiabilité [cs.PF] Modélisation et simulation

Catherine Dezan : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 18 juillet 2018-15:20:31

Dernière modification le : vendredi 24 mars 2023-14:53:07

Dates et versions

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

Identifiants

HAL Id : hal-01843133 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

70 Consultations

0 Téléchargements