Formal verification and the prevention of systematic user error
- Citation:
- Masci P, Ruksenas R, Huang H, Curzon P, Harrison M. 2012. Formal verification and the prevention of systematic user error. FormalH, Workshop on Formal Methods in Human-Machine Interaction sponsored by the IFIP Working Group 13.5 on Human Error, Safety, and System Development, copy at www.tinyurl.com/hlyrx5s
Citation Key:
masciRHCH2012
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.