Show simple item record

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction

contributor authorBolton, Matthew L.
contributor authorJimenez, Noelia
contributor authorvan Paassen, Marinus M.
contributor authorTrujillo, Maria
date accessioned2020-03-13T00:11:03Z
date available2020-03-13T00:11:03Z
date issued2014
identifier issn2168-2291
identifier other6843972.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/1137424?show=full
formatgeneral
languageEnglish
publisherIEEE
titleAutomatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction
typeJournal Paper
contenttypeMetadata Only
identifier padid8319315
subject keywordsformal specification
subject keywordsformal verification
subject keywordshuman computer interaction
subject keywordstask analysis
subject keywordsHAI
subject keywordsautomatically generating specification properties
subject keywordsformal verification
subject keywordshuman-automation interaction
subject keywordsmodel checking
subject keywordstask models
subject keywordsAnalytical models
subject keywordsAutomation
subject keywordsComputational modeling
subject keywordsModel checking
subject keywordsSafety
subject keywordsTraining
subject keywordsVisualization
subject keywordsFormal methods
subject keywordshuman--automation interaction (HAI)
subject keywordshuman??automation interaction (HAI)
subject keywordsmodel checking
subject keywordssystem safety
subject keywordstask analysis
identifier doi10.1109/THMS.2014.2329476
journal titleHuman-Machine Systems, IEEE Transactions on
journal volume44
journal issue5
filesize912353
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record