Page
%P
-
Chapter and Conference Paper
Formal Analysis of Aviation Incidents
In this paper, a formal, agent-based approach is presented to analyse the dynamics of accidents and incidents in aviation. The approach comprises a number of steps, which include development of domain ontology...