Formal Analysis of Safety-Critical System Simulations

TitleFormal Analysis of Safety-Critical System Simulations
Publication TypeConference Proceedings
AuthorsYasmeen, A., K. M. Feigh, G. Gelman, and E. L. Gunter
Map of Cognitive Engineering Center

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