Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction (Englisch)
- Neue Suche nach: Nandiganahalli, Jayaprakash Suraj
- Neue Suche nach: Lee, Sangjin
- Neue Suche nach: Hwang, Inseok
- Neue Suche nach: Nandiganahalli, Jayaprakash Suraj
- Neue Suche nach: Lee, Sangjin
- Neue Suche nach: Hwang, Inseok
In:
Journal of Aerospace Information Systems
;
13
, 9
;
343-356
;
2016
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction
-
Beteiligte:Nandiganahalli, Jayaprakash Suraj ( Autor:in ) / Lee, Sangjin ( Autor:in ) / Hwang, Inseok ( Autor:in )
-
Erschienen in:Journal of Aerospace Information Systems ; 13, 9 ; 343-356
-
Verlag:
- Neue Suche nach: The American Institute of Aeronautics and Astronautics
-
Erscheinungsdatum:06.10.2016
-
Format / Umfang:14 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 13, Ausgabe 9
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 343
-
Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based AbstractionNandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok et al. | 2016
- 357
-
Verification Guided Refinement of Flight Safety Assessment and Management System for TakeoffBalachandran, Sweewarman / Ozay, Necmiye / Atkins, Ella M. et al. | 2016
- 370
-
Data-Driven Modeling and Analysis Framework for Cockpit Human–Machine Interaction IssuesVaidya, Abhishek / Lee, Sangjin / Hwang, Inseok et al. | 2016