Model-based dependability analysis of unmanned aerial vehicles a case study
Matheus Lopes Franco Kalinka Regina Lucas Jaquie Castelo Branco; Rosana Teresinha Vaccare Braga; Andre L. de Oliveira (Andre Luiz de Oliveira); Catherine Dezan; Jean-Philippe Diguet; Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops - DSN-W (48. 2018 Luxembourg City, Luxembourg)