Software Validation via Model Animation
Dutle, Aaron M., Muñoz, César A., Narkawicz, Anthony J., Butler, Ricky W.
Published in Tests and Proofs (2015)
Published in Tests and Proofs (2015)
Get full text
Book Chapter
An Invitation to Formal Methods
Bowen, J.P., Butler, R.W., Dill, D.L., Glass, R.L., Gries, D., Hall, A.
Published in Computer (Long Beach, Calif.) (01.04.1996)
Published in Computer (Long Beach, Calif.) (01.04.1996)
Get full text
Journal Article
Software Validation via Model Animation
Dutle, Aaron M, Munoz, Cesar A, Narkawicz, Anthony J, Butler, Ricky W
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (22.07.2015)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (22.07.2015)
Conference Proceeding
Prototype Tool and Focus Group Evaluation for an Advanced Trajectory-Based Operations Concept
Guerreiro, Nelson M, Jones, Denise R, Barmore, Bryan E, Butler, Ricky W, Hagen, George E, Maddalon, Jeffrey M, Ahmad, Nash'at N
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (05.06.2017)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (05.06.2017)
Conference Proceeding
Conflict Detection Performance Analysis for Function Allocation Using Time-Shifted Recorded Traffic Data
Guerreiro, Nelson M, Butler, Ricky W, Maddalon, Jeffrey M, Hagen, George E, Lewis, Timothy A
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (22.06.2015)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (22.06.2015)
Conference Proceeding
The Search for Effective Algorithms for Recovery from Loss of Separation
Butler, Ricky W, Hagen, George E, Maddalon, Jeffrey M, Munoz, Cesar A, Narawicz, Anthony J
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (14.10.2012)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (14.10.2012)
Conference Proceeding
Parametric Analysis of Surveillance Quality and Level and Quality of Intent Information and Their Impact on Conflict Detection Performance
Guerreiro, Nelson M, Butler, Ricky W, Hagen, George E, Maddalon, Jeffrey M, Lewis, Timothy A
Published in NASA Center for AeroSpace Information (CASI). Reports (01.03.2016)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Reports (01.03.2016)
Report
NASA Langley's research program in formal methods
Butler, R.W.
Published in COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance (1991)
Published in COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance (1991)
Get full text
Conference Proceeding