Amanote Research
Register
Sign In
Automated Framework for Formal Operator Task Analysis
doi 10.1145/2001420.2001430
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2011
Authors
Ayesha Yasmeen
Elsa L. Gunter
Publisher
ACM Press
Related search
Formal Framework for Automated Analysis and Verification of Web-Based Applications
FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
Software and Systems Modeling
Modeling
Software
Simulation
Formal Methods for Automated Program Improvement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Correction: An Automated, Adaptive Framework for Optimizing Preprocessing Pipelines in Task-Based Functional MRI
PLoS ONE
Multidisciplinary
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Probabilistic Framework for Automated Analysis of Exposure to Road Collisions
Transportation Research Record
Civil
Mechanical Engineering
Structural Engineering
A Framework for Regularization via Operator Approximation
SIAM Journal of Scientific Computing
Computational Mathematics
Applied Mathematics
Towards a Formal Framework for Computational Trust
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
