Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/THMS.2014.2329476
کلیدواژه(گان): formal specification,formal verification,human computer interaction,task analysis,HAI,automatically generating specification properties,formal verification,human-automation interaction,model checking,task models,Analytical models,Automation,Computational modeling,Model checking,Safety,Training,Visualization,Formal methods,human--automation interaction (HAI),human??automation interaction (HAI),model checking,system safety,task analysis
کالکشن
:
-
آمار بازدید
Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction
Show full item record
| contributor author | Bolton, Matthew L. | |
| contributor author | Jimenez, Noelia | |
| contributor author | van Paassen, Marinus M. | |
| contributor author | Trujillo, Maria | |
| date accessioned | 2020-03-13T00:11:03Z | |
| date available | 2020-03-13T00:11:03Z | |
| date issued | 2014 | |
| identifier issn | 2168-2291 | |
| identifier other | 6843972.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1137424 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction | |
| type | Journal Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8319315 | |
| subject keywords | formal specification | |
| subject keywords | formal verification | |
| subject keywords | human computer interaction | |
| subject keywords | task analysis | |
| subject keywords | HAI | |
| subject keywords | automatically generating specification properties | |
| subject keywords | formal verification | |
| subject keywords | human-automation interaction | |
| subject keywords | model checking | |
| subject keywords | task models | |
| subject keywords | Analytical models | |
| subject keywords | Automation | |
| subject keywords | Computational modeling | |
| subject keywords | Model checking | |
| subject keywords | Safety | |
| subject keywords | Training | |
| subject keywords | Visualization | |
| subject keywords | Formal methods | |
| subject keywords | human--automation interaction (HAI) | |
| subject keywords | human??automation interaction (HAI) | |
| subject keywords | model checking | |
| subject keywords | system safety | |
| subject keywords | task analysis | |
| identifier doi | 10.1109/THMS.2014.2329476 | |
| journal title | Human-Machine Systems, IEEE Transactions on | |
| journal volume | 44 | |
| journal issue | 5 | |
| filesize | 912353 | |
| citations | 0 |