Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking.

Gabriel Duarte Pasa, Valdivino Alexandre de Santiago Jnior

Browse the full ICCSA paper archive.