Automatically generating specification properties from task models for the formal verification of human-automation interaction

ML Bolton; N Jimenez Enebral; MM van Paassen; M Trujillo

doi:10.1109/THMS.2014.2329476

Automatically generating specification properties from task models for the formal verification of human-automation interaction

ML Bolton, N Jimenez Enebral, MM van Paassen, M Trujillo

Control & Simulation

Research output: Contribution to journal › Article › Scientific › peer-review

28 Citations (Scopus)

46 Downloads (Pure)

Original language	English
Pages (from-to)	561-575
Number of pages	15
Journal	IEEE Transactions on Human-Machine Systems
Volume	44
Issue number	5
DOIs	https://doi.org/10.1109/THMS.2014.2329476
Publication status	Published - 2014

Keywords

CWTS 0.75 <= JFIS < 2.00

Access to Document

10.1109/THMS.2014.2329476

06843972Final published version, 892 KB

Cite this

@article{3c490b8aece04300b48ee5d93ef5de22,

title = "Automatically generating specification properties from task models for the formal verification of human-automation interaction",

keywords = "CWTS 0.75 <= JFIS < 2.00",

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

year = "2014",

doi = "10.1109/THMS.2014.2329476",

language = "English",

volume = "44",

pages = "561--575",

journal = "IEEE Transactions on Human-Machine Systems",

issn = "2168-2291",

publisher = "IEEE",

number = "5",

}

TY - JOUR

T1 - Automatically generating specification properties from task models for the formal verification of human-automation interaction

AU - Bolton, ML

AU - Jimenez Enebral, N

AU - van Paassen, MM

AU - Trujillo, M

PY - 2014

Y1 - 2014

KW - CWTS 0.75 <= JFIS < 2.00

UR - http://resolver.tudelft.nl/uuid:3c490b8a-ece0-4300-b48e-e5d93ef5de22

U2 - 10.1109/THMS.2014.2329476

DO - 10.1109/THMS.2014.2329476

M3 - Article

SN - 2168-2291

VL - 44

SP - 561

EP - 575

JO - IEEE Transactions on Human-Machine Systems

JF - IEEE Transactions on Human-Machine Systems

IS - 5

ER -

Automatically generating specification properties from task models for the formal verification of human-automation interaction

Keywords

Access to Document

Other files and links

Cite this