scientific article; zbMATH DE number 2084460

MaRDI QIDQ4475265zbMATH OpenFDO

Authors Francis Jambon, Yamine Ait-Ameur, Patrick R. Girard

Publication date 9 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations
• An approach to formal verification of human-computer interaction
• scientific article; zbMATH DE number 2017338
• Model checking interactor specifications
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cited in

(2)

• scientific article; zbMATH DE number 1964949 (Why is no real title available?)
• Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4475265)