Automated Framework for Formal Operator Task Analysis

doi 10.1145/2001420.2001430
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press


Related search