Verification-guided modelling of salience and cognitive load
From MaRDI portal
Publication:1047211
DOI10.1007/s00165-008-0102-7zbMath1186.68300OpenAlexW2048665786WikidataQ61929194 ScholiaQ61929194MaRDI QIDQ1047211
Paul Curzon, Jonathan Back, Ann Blandford, Rimvydas Rukšėnas
Publication date: 4 January 2010
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-008-0102-7
Related Items
Modelling and analysing neural networks using a hybrid process algebra, Analysing neurobiological models using communicating automata
Cites Work
- Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
- An approach to formal verification of human-computer interaction
- Demonstrating the cognitive plausability of interactive system specifications
- The formalization of a cognitive architecture and its application to reasoning about human computer interaction