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]
Abstract is missing.