Computer-Related Incidents with Commercial Aircraft


(Why...Because... Analysis) is a series of techniques of formal semantics and logic developed by Peter Ladkin and associates in the RVS group at the University of Bielefeld for the formal analysis and explication of accidents. WB-analysis has been applied successfully to various accident reports to clarify the exact causal role of the known events and system states, and the causal sequences arising in the course of the accident. Analyses and technical papers are to be found on the Home Page.