scientific article; zbMATH DE number 2080958
From MaRDI portal
Publication:4474035
zbMATH Open1051.68635MaRDI QIDQ4474035FDOQ4474035
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
Title of this publication is not available (Why is that?)
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
Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cited In (5)
- Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
- Title not available (Why is that?)
- Demonstrating the cognitive plausability of interactive system specifications
- Data-driven modelling and probabilistic analysis of interactive software usage
- Reasoning about noisy sensors and effectors in the situation calculus
Uses Software
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)
