scientific article; zbMATH DE number 2084461

zbMath1052.68834MaRDI QIDQ4475266

Ann Blandford, Paul Curzon

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2254/22540057.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (3)

Providing a formal linkage between MDG and HOL ⋮ An approach to formal verification of human-computer interaction ⋮ Model-checking user behaviour using interacting components

This page was built for publication: