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
Volume7345
DOIs
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

Bosse, T. ; Mogles, N. / Formal Analysis of Aviation Incidents. In: Lecture Notes in Computer Science. 2012 ; Vol. 7345. pp. 371-380.
@article{935de772775d44418205cee7ff23c53c,
title = "Formal Analysis of Aviation Incidents",
author = "T. Bosse and N. Mogles",
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",
year = "2012",
doi = "10.1007/978-3-642-31087-4_39",
language = "English",
volume = "7345",
pages = "371--380",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Formal Analysis of Aviation Incidents. / Bosse, T.; Mogles, N.

In: Lecture Notes in Computer Science, Vol. 7345, 2012, p. 371-380.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Formal Analysis of Aviation Incidents

AU - Bosse, T.

AU - Mogles, N.

N1 - 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

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-31087-4_39

DO - 10.1007/978-3-642-31087-4_39

M3 - Article

VL - 7345

SP - 371

EP - 380

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -