by Butler, R.W., Finelli, G.B.
Published in IEEE transactions on software engineering (01.01.1993)

by Dutle, Aaron M., Muñoz, César A., Narkawicz, Anthony J., Butler, Ricky W.
Published in Tests and Proofs (2015)

by Butler, Ricky Wayne
Published in Journal of Formalized Reasoning (01.01.2009)

by 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)

by 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)

by 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)

by 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)

by Ramanathan, P., Shin, K.G., Butler, R.W.
Published in Computer (Long Beach, Calif.) (01.10.1990)

by Hagen, George E, Butler, Ricky W
Published in NASA Center for AeroSpace Information (CASI). Reports (01.12.2014)

by Hagen, George E, Butler, Ricky W, Maddalon, Jeffrey M
Published in NASA Center for AeroSpace Information (CASI). Reports (01.05.2016)

by Butler, Ricky W, Lewis, Timothy A
Published in NASA Center for AeroSpace Information (CASI). Reports (01.10.2013)

by Hagen, George E, Guerreiro, Nelson M, Maddalon, Jeffrey M, Butler, Ricky W
Published in NASA Center for AeroSpace Information (CASI). Reports (01.09.2017)

by 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)

by 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)

by Butler, Ricky W, Hagen, George E, Maddalon, Jeffrey M
Published in NASA Center for AeroSpace Information (CASI). Reports (01.08.2013)

by Butler, R.W.
Published in IEEE transactions on reliability (01.06.1992)

by Perry, Raleigh B, Madden, Michael M, Torres-Pomales, Wilfredo, Butler, Ricky W
Published in NASA Center for AeroSpace Information (CASI). Reports (01.02.2013)

by Butler, Ricky W., Sjogren, Jon A.
Published in Reliability engineering & system safety (1991)

by Butler, Ricky W.
Published in IEEE transactions on reliability (01.12.1986)

by Butler, R.W.
Published in COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance (1991)