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

Research output: Contribution to journalArticleScientificpeer-review

24 Citations (Scopus)
15 Downloads (Pure)
Original languageEnglish
Pages (from-to)561-575
Number of pages15
JournalIEEE Transactions on Human-Machine Systems
Volume44
Issue number5
DOIs
Publication statusPublished - 2014

Keywords

  • CWTS 0.75 <= JFIS < 2.00

Cite this