Using Formal Methods to Reason About Taskload and Resource Conflicts in Simulated Air Traffic Scenario

TitleUsing Formal Methods to Reason About Taskload and Resource Conflicts in Simulated Air Traffic Scenario
Publication TypeConference Paper
AuthorsHouser, A., and L. M. Ma
EditorFeigh, K. M., and M. L. Bolton
Map of Cognitive Engineering Center

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