An approach to formal verification of human-computer interaction
From MaRDI portal
Publication:2461538
DOI10.1007/s00165-007-0035-6zbMath1129.68501OpenAlexW2085675184WikidataQ61929402 ScholiaQ61929402MaRDI QIDQ2461538
Ann Blandford, Rimvydas Rukšėnas, Paul Curzon
Publication date: 28 November 2007
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-007-0035-6
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Verification-guided modelling of salience and cognitive load ⋮ Physigrams: Modelling devices for natural interaction
Uses Software
Cites Work
This page was built for publication: An approach to formal verification of human-computer interaction