مؤتمر
Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata
العنوان: | Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata |
---|---|
المؤلفون: | Ishii, Daiki, Ushio, Toshimitsu |
المصدر: | 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE) Consumer Electronics (GCCE), 2014 IEEE 3rd Global Conference on. :372-373 Oct, 2014 |
Relation: | 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781479951451 |
---|---|
تدمد: | 23788143 |
DOI: | 10.1109/GCCE.2014.7031113 |