Formal Analysis of Aviation Incidents

T. Bosse, N. Mogles

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)371-380
JournalLecture Notes in Computer Science
Publication statusPublished - 2012

Bibliographical note

Proceedings title: Proceedings of the 25th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE’12
Publisher: Springer Verlag
Editors: H. Jiang, W. Ding, M. Ali, X. Wu

Cite this