Gabriel Duarte Pasa, Valdivino Alexandre de Santiago Júnior. Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blecic, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre, editors, Computational Science and Its Applications - ICCSA 2021 - 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part IV. Volume 12952 of Lecture Notes in Computer Science, pages 465-480, Springer, 2021. [doi]
Abstract is missing.