scientific article; zbMATH DE number 2086970

MaRDI QIDQ4737583zbMATH OpenFDO

Authors Michael Heymann, Asaf Degani

Publication date 11 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2033515
• An approach to formal verification of human-computer interaction
• scientific article; zbMATH DE number 2207721
• Using hybrid automata to support human factors analysis in a critical system
• Representational reasoning and verification

Cited in

(6)

• Using hybrid automata to support human factors analysis in a critical system
• Concepts of user centered automation
• scientific article; zbMATH DE number 2033515 (Why is no real title available?)
• An approach to formal verification of human-computer interaction
• Model checking interactor specifications
• scientific article; zbMATH DE number 2207721 (Why is no real title available?)

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