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]
@inproceedings{PasaJ21,
title = {Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking},
author = {Gabriel Duarte Pasa and Valdivino Alexandre de Santiago Júnior},
year = {2021},
doi = {10.1007/978-3-030-86973-1_33},
url = {https://doi.org/10.1007/978-3-030-86973-1_33},
researchr = {https://researchr.org/publication/PasaJ21},
cites = {0},
citedby = {0},
pages = {465-480},
booktitle = {Computational Science and Its Applications - ICCSA 2021 - 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part IV},
editor = {Osvaldo Gervasi and Beniamino Murgante and Sanjay Misra and Chiara Garau and Ivan Blecic and David Taniar and Bernady O. Apduhan and Ana Maria A. C. Rocha and Eufemia Tarantino and Carmelo Maria Torre},
volume = {12952},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-86973-1},
}