Using temporal logic to support the specification and prototyping of interactive control systems

Authors:
C. W. Johnson;M. D. Harrison
Affiliations:
-;-
Venue:
International Journal of Man-Machine Studies
Year:
1992

Citing 0
Cited 3

Generalization of some properties of relations in the context of functional temporal×modal logic

International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering
Literate specification: using design rationale to support formal methods in the development of human-machine interfaces

Human-Computer Interaction
Verification of properties of human-computer dialogues with an infinite number of states

FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface

Quantified Score

Hi-index	0.00

Visualization

Abstract