Exploring Human Factors in Formal Diagram Usage.

Andrew Fish Babak Khazaei Chris Roast

Published in: EHCI/DS-VIS (2007)

Keyphrases

human factors
human computer interaction
formal model
formal specification
state transition
dimensionality reduction
formal methods
mathematical theory
aviation safety