Formal modeling and analysis of safety-critical human multitasking
- 8 April 2019
- journal article
- research article
- Published by Springer Nature in Innovations in Systems and Software Engineering
- Vol. 15 (3-4) , 169-190
Abstract
No abstract availableKeywords
Funding Information
- Università di Pisa (PRA 2017_44)
This publication has 40 references indexed in Scilit:
- Cue effectiveness in mitigating postcompletion errors in a routine procedural taskInternational Journal of Human-Computer Studies, 2008
- Prospective Memory, Concurrent Task Management, and Pilot Error2006
- Semantic foundations for generalized rewrite theoriesTheoretical Computer Science, 2006
- Using Computational Cognitive Modeling to Diagnose Possible Sources of Aviation ErrorThe International Journal of Aviation Psychology, 2005
- Voluntary Task Switching: Chasing the Elusive Homunculus.Journal of Experimental Psychology: Learning, Memory, and Cognition, 2005
- Specification of real-time and hybrid systems in rewriting logicTheoretical Computer Science, 2002
- Predicting the effects of in-car interface use on driver performance: an integrated model approachInternational Journal of Human-Computer Studies, 2001
- Developmental Increase in Working Memory Span: Resource Sharing or Temporal Decay?Journal of Memory and Language, 2001
- The Role of Working Memory in Visual Selective AttentionScience, 2001
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992