Pages that link to "Item:Q5930072"
From MaRDI portal
The following pages link to Demonstrating the cognitive plausability of interactive system specifications (Q5930072):
Displaying 5 items.
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- Model-checking user behaviour using interacting components (Q1047208) (← links)
- Verification-guided modelling of salience and cognitive load (Q1047211) (← links)
- An approach to formal verification of human-computer interaction (Q2461538) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
