Publications

Export 2 results:
Filters: First Letter Of Title is F and Author is Elsa L. Gunter  [Clear All Filters]
2012
Yasmeen, A., K. M. Feigh, G. Gelman, and E. L. Gunter, "Formal Analysis of Safety-Critical System Simulations", ATACCS 2nd International Conference on Application and Theory of Automation in Command and Control Systems, Imperial College, London, UK, May, 2012.
2011
Bass, E. J., K. M. Feigh, E. L. Gunter, and J. Rushby, "Formal Modeling and Analysis for Interactive Hybrid Systems", 4th International Workshop on Formal Methods for Interactive Systems, Limerick, Ireland, June, 2011.
Map of Cognitive Engineering Center

Cognitive Engineering Center (CEC)
Georgia Institute of Technology
270 Ferst Drive
Atlanta GA 30332-0150