scientific article; zbMATH DE number 2033515

MaRDI QIDQ4444714zbMATH OpenFDO

Authors John Rushby

Publication date 27 January 2004

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2207721
• scientific article; zbMATH DE number 2086970
• A model of operator behaviour for man-machine system simulation
• Using hybrid automata to support human factors analysis in a critical system
• Toward human-machine cooperation

Cited in

(22)

• An approach to formal verification of human-computer interaction
• Mathematical model of a human operator for system development of onboard algorithmic and displayed support for the functioning of an anthropocentric object
• Modelling human power and endurance
• On the explicit modelling of systems of human resources
• System concept modelling in human systems
• Preventing (another) Lubitz: the thermodynamics of teams and emotion
• Mental models -- general introduction and review of their application to human-centred security
• Interaction of intelligent and autonomous systems. II: Realization of cognitive technical systems
• scientific article; zbMATH DE number 2089025 (Why is no real title available?)
• Human factors in automation design
• Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems
• Toward human-machine cooperation
• Theories, models, and human-machine systems
• scientific article; zbMATH DE number 3968077 (Why is no real title available?)
• scientific article; zbMATH DE number 3987073 (Why is no real title available?)
• scientific article; zbMATH DE number 2079491 (Why is no real title available?)
• scientific article; zbMATH DE number 2086970 (Why is no real title available?)
• scientific article; zbMATH DE number 2207721 (Why is no real title available?)
• Model buidling for air-traffic controllers' workload regulation
• Model checking interactor specifications
• A model of operator behaviour for man-machine system simulation
• Human factors in decision and control: Nonstandard modeling and information processing

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