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

Matheus Lopes Franco, Kalinka R. J. L. Branco, Rosana T. V. Braga, André Luíz de Oliveira, Catherine Dezan, Jean-Philippe Diguet. Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study. In 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2018, Luxembourg, June 25-28, 2018. pages 263-270, IEEE Computer Society, 2018. [doi]

Authors

Matheus Lopes Franco

This author has not been identified. Look up 'Matheus Lopes Franco' in Google

Kalinka R. J. L. Branco

This author has not been identified. Look up 'Kalinka R. J. L. Branco' in Google

Rosana T. V. Braga

This author has not been identified. Look up 'Rosana T. V. Braga' in Google

André Luíz de Oliveira

This author has not been identified. Look up 'André Luíz de Oliveira' in Google

Catherine Dezan

This author has not been identified. Look up 'Catherine Dezan' in Google

Jean-Philippe Diguet

This author has not been identified. Look up 'Jean-Philippe Diguet' in Google