Checking formal verification models for human-automation interaction

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

4 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the IEEE Systems, Man and Cybernetics Conference
Editors	WA Gruyver
Place of Publication	Piscataway, NJ, USA
Publisher	IEEE
Pages	3709-3714
Number of pages	6
DOIs	https://doi.org/10.1109/SMC.2014.6974507
Publication status	Published - 2014
Event	The IEEE Systems, Man and Cybernetics Conference - Piscataway, NJ, USA Duration: 5 Oct 2014 → 8 Oct 2014

Name
Publisher	IEEE

Conference	The IEEE Systems, Man and Cybernetics Conference
Period	5/10/14 → 8/10/14

Keywords

@inproceedings{9aa28010cf8a4c809e703b8304a2834f,

title = "Checking formal verification models for human-automation interaction",

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

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

year = "2014",

doi = "10.1109/SMC.2014.6974507",

language = "English",

publisher = "IEEE",

pages = "3709--3714",

editor = "WA Gruyver",

booktitle = "Proceedings of the IEEE Systems, Man and Cybernetics Conference",

address = "United States",

note = "The IEEE Systems, Man and Cybernetics Conference ; Conference date: 05-10-2014 Through 08-10-2014",

}

TY - GEN

T1 - Checking formal verification models for human-automation interaction

AU - van Paassen, MM

AU - Bolton, ML

PY - 2014

Y1 - 2014

KW - Conf.proc. > 3 pag

U2 - 10.1109/SMC.2014.6974507

DO - 10.1109/SMC.2014.6974507

M3 - Conference contribution

SP - 3709

EP - 3714

BT - Proceedings of the IEEE Systems, Man and Cybernetics Conference

A2 - Gruyver, WA

PB - IEEE

CY - Piscataway, NJ, USA

T2 - The IEEE Systems, Man and Cybernetics Conference

Y2 - 5 October 2014 through 8 October 2014

ER -