Automated Framework for Formal Operator Task Analysis

Automated Framework for Formal Operator Task Analysis
Ayesha Yasmeen and Elsa L. Gunter
ACM International Symposium on Software Testing and Analysis (ISSTA ’11), Toronto, Canada, July 2011. [BIB]

Last updated on Wednesday, December 7, 2011, 3:46 pm