|
|||||
|
|
Formal modeling and analysis of safety-critical human multitasking |
|
| Authors: | Broccia Giovanna Milazzo Paolo Ölveczky Peter Csaba |
| Affiliation: | 1.Department of Computer Science, University of Pisa, Pisa, Italy ;2.Department of Informatics, University of Oslo, Oslo, Norway ; |
| Abstract: | Innovations in Systems and Software Engineering - When a person is concurrently interacting with different systems, the amount of cognitive resources required (cognitive load) could be too high and... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |