Thomas I. McVittie

Analogs Supporting Design of Lunar Command, Control, Communication, and Information Architectures

Oleg V. Sindiy, Daniel DeLaurentis, Barrett S. Caldwell, 2010, J. Aerosp. Comput. Inf. Commun..

Techniques for building dependable distributed systems: multi-version software testing

Thomas I. McVittie, John P. J. Kelly, Susan C. Murphy, 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

Implementing design diversity to achieve fault tolerance

Thomas I. McVittie, John P. J. Kelly, Wayne I. Yamamoto, 1991, IEEE Software.

Architecting The Human Space Flight Program with System Modeling Language (SysML)

Oleg V. Sindiy, Maddalena Jackson, Thomas I. McVittie, 2012, Infotech@Aerospace.

Systems Engineering Using Models - EFT-1 Case Study

Oleg V. Sindiy, Thomas I. McVittie, Kim Simpson, 2012 .

Use of Analogous Projects for Trade Space Analysis for Lunar Command, Control, Communication, and Information Architectures

Oleg V. Sindiy, Daniel DeLaurentis, Barrett S. Caldwell, 2009 .

An Empirical Investigation of the Effect of Formal Specifications on Program Diversity

Thomas I. McVittie, John P. J. Kelly, Wayne I. Yamamoto, 1992 .