Tibor Bosse, Nataliya M. Mogles. Formal Analysis of Aviation Incidents. In He Jiang, Wei Ding 0003, Moonis Ali, Xindong Wu, editors, Advanced Research in Applied Artificial Intelligence - 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings. Volume 7345 of Lecture Notes in Computer Science, pages 371-380, Springer, 2012. [doi]
Abstract is missing.