Formally verifying human-automation interaction with specification properties generated from task analytic models

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

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Proceedings of the 6th IAASS Conference : Safety is not an option
Editors	S Sgobba
Place of Publication	Noordwijk, The Netherlands
Publisher	IAASS
Pages	1-8
Number of pages	8
Publication status	Published - 2013
Event	The 6th IAASS Conference : Safety is not an option - Noordwijk, The Netherlands Duration: 21 May 2013 → 23 May 2013

Name
Publisher	IAASS

Conference	The 6th IAASS Conference : Safety is not an option
Period	21/05/13 → 23/05/13

Keywords

@inproceedings{42a1ca18a15843c1ab158d951c7c9e1d,

title = "Formally verifying human-automation interaction with specification properties generated from task analytic models",

keywords = "Conf.proc. > 3 pag",

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

year = "2013",

language = "English",

publisher = "IAASS",

pages = "1--8",

editor = "S Sgobba",

booktitle = "Proceedings of the 6th IAASS Conference : Safety is not an option",

note = "The 6th IAASS Conference : Safety is not an option ; Conference date: 21-05-2013 Through 23-05-2013",

}

Formally verifying human-automation interaction with specification properties generated from task analytic models. / Bolton, ML; Jimenez, N; van Paassen, MM et al.
Proceedings of the 6th IAASS Conference : Safety is not an option. ed. / S Sgobba. Noordwijk, The Netherlands: IAASS, 2013. p. 1-8.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Formally verifying human-automation interaction with specification properties generated from task analytic models

AU - Bolton, ML

AU - Jimenez, N

AU - van Paassen, MM

AU - Trujillo, M

PY - 2013

Y1 - 2013

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SP - 1

EP - 8

BT - Proceedings of the 6th IAASS Conference : Safety is not an option

A2 - Sgobba, S

PB - IAASS

CY - Noordwijk, The Netherlands

T2 - The 6th IAASS Conference : Safety is not an option

Y2 - 21 May 2013 through 23 May 2013

ER -