Pages that link to "Item:Q5938662"
From MaRDI portal
The following pages link to The formalization of a cognitive architecture and its application to reasoning about human computer interaction (Q5938662):
Displaying 6 items.
- Verification-guided modelling of salience and cognitive load (Q1047211) (← links)
- Formal aspects of cognitive processes. Interdisciplinary conference, Ann Arbor, March 1972 (Q1846853) (← links)
- An approach to formal verification of human-computer interaction (Q2461538) (← links)
- A representation framework for modelling intelligent systems (Q2729803) (← links)
- Cognition friendly interaction: A concept of partnership in human computer interaction (Q2740852) (← links)
- Predicting the effects of in-car interface use on driver performance: An integrated model approach (Q2744862) (← links)