scientific article; zbMATH DE number 2080958

MaRDI QIDQ4474035zbMATH OpenFDO

Authors Gavin J. Doherty, Mieke Massink, G. P. Faconti

Publication date 4 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• Demonstrating the cognitive plausability of interactive system specifications
• An approach to formal verification of human-computer interaction
• scientific article; zbMATH DE number 2079828
• Data-driven modelling and probabilistic analysis of interactive software usage
• scientific article; zbMATH DE number 2084461

Cited in

(5)

• scientific article; zbMATH DE number 2084461 (Why is no real title available?)
• Demonstrating the cognitive plausability of interactive system specifications
• Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
• Data-driven modelling and probabilistic analysis of interactive software usage
• Reasoning about noisy sensors and effectors in the situation calculus

Describes a project that uses

Uses Software

• Uppaal
• PEPA

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 Q4474035)