 |
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
Matheus Franco
Mail :
Author Employer institution : Universidade de São Paulo
Andre de Oliveira
Mail :
Author Employer institution : Federal University of Juiz de Fora
Rosana Braga
Mail :
Author Employer institution : Universidade de São Paulo
Catherine Dezan 1
Mail :
Author IdHAL : catherine-dezan
Jean-Philippe Diguet 2
Mail : Site :
Author IdHAL : jean-philippe-diguet
Kalinka R L J Castelo Branco 3
Author Employer institution : Universidade de São Paulo
1
Lab-STICC_UBO_CACS_MOCS (France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise BP 832 29285 BREST CEDEX - France)
- UEB - Université européenne de Bretagne - European University of Brittany (5 boulevard Laënnec - 35000 Rennes - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
2
Lab-STICC_UBS_CACS_MOCS (France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise BP 832 29285 BREST CEDEX - France)
- UEB - Université européenne de Bretagne - European University of Brittany (5 boulevard Laënnec - 35000 Rennes - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
3
USP - University of São Paulo (Brazil)
Document type :
Conference papers
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 : Wednesday, June 24, 2020 - 4:19:26 PM
Contributor : Catherine Dezan <>
Submitted on : Wednesday, July 18, 2018 - 3:20:31 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:26 PM
Identifiers
- HAL Id : hal-01843133, version 1
Collections
UNIV-BREST | CNRS | INSTITUT-TELECOM | ENIB | LAB-STICC_ENIB | TDS-MACS | LAB-STICC_UBS | LAB-STICC | LAB-STICC_UBO | UBS | IBNM
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⟩
Metrics
Record views
