Verification Models for Advance Human-Automation Interaction in Safety Critical Flight Operations - WP2100 Verification Methodology

ML Bolton, N Jimenez, MM van Paassen

Research output: Book/Report › Report › Professional

Original language	English
Place of Publication	Madrid
Publisher	IXION Industry & Aerospace S.L. (Madrid) and Delft University of Technology
Number of pages	68
Publication status	Published - 2013

Name
Publisher	IXION Industry & Aerospace S.L. (Madrid) and Delft University of Technology

Keywords

@book{3bdb18ff090a4e69b9ffe12c8936e958,

title = "Verification Models for Advance Human-Automation Interaction in Safety Critical Flight Operations - WP2100 Verification Methodology",

keywords = "Geen BTA classificatie",

author = "ML Bolton and N Jimenez and {van Paassen}, MM",

year = "2013",

language = "English",

publisher = "IXION Industry & Aerospace S.L. (Madrid) and Delft University of Technology",

}

TY - BOOK

T1 - Verification Models for Advance Human-Automation Interaction in Safety Critical Flight Operations - WP2100 Verification Methodology

AU - Bolton, ML

AU - Jimenez, N

AU - van Paassen, MM

PY - 2013

Y1 - 2013

KW - Geen BTA classificatie

M3 - Report

BT - Verification Models for Advance Human-Automation Interaction in Safety Critical Flight Operations - WP2100 Verification Methodology

PB - IXION Industry & Aerospace S.L. (Madrid) and Delft University of Technology

CY - Madrid

ER -