Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking

von Pasa, Gabriel Duarte
Veröffentlicht in ICCSA (21. : 2021 : Cagliari; Online) Computational science and its applications - ICCSA 2021 ; Part 4 (2021)