Verification of NASA Emergent Systems

Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey. Verification of NASA Emergent Systems. In 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy. pages 231-238, IEEE Computer Society, 2004. [doi]

Authors

Christopher Rouff

This author has not been identified. Look up 'Christopher Rouff' in Google

Amy Vanderbilt

This author has not been identified. Look up 'Amy Vanderbilt' in Google

Walt Truszkowski

This author has not been identified. Look up 'Walt Truszkowski' in Google

James L. Rash

This author has not been identified. Look up 'James L. Rash' in Google

Michael G. Hinchey

This author has not been identified. Look up 'Michael G. Hinchey' in Google