Beyond Belief:
Representing Knowledge Requirements for the Operation of Safety-Critical Interfaces

Chris Johnson,
Glasgow Accident Analysis Group,
Department of Computer Science,
University of Glasgow,
Glasgow,
G12 8QT.

http://www.dcs.gla.ac.uk/~johnson

These slides were originally prepared for a paper that will be delivered at Interact'97 in Sydney.

Our work is sponsored by the Engineering and Physical Sciences Research Council, Human Factors programme.