Checking formal verification models for human-automation interaction

MM van Paassen, ML Bolton

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the IEEE Systems, Man and Cybernetics Conference
EditorsWA Gruyver
Place of PublicationPiscataway, NJ, USA
PublisherIEEE Society
Pages3709-3714
Number of pages6
DOIs
Publication statusPublished - 2014
EventThe IEEE Systems, Man and Cybernetics Conference - Piscataway, NJ, USA
Duration: 5 Oct 20148 Oct 2014

Publication series

Name
PublisherIEEE

Conference

ConferenceThe IEEE Systems, Man and Cybernetics Conference
Period5/10/148/10/14

Keywords

  • Conf.proc. > 3 pag

Cite this