Verification of Adaptive Systems

Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher Rouff, Richard W. Buskens. Verification of Adaptive Systems. In Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012. 2012. [doi]

Authors

Laura Pullum

This author has not been identified. Look up 'Laura Pullum' in Google

Xiaohui Cui

This author has not been identified. Look up 'Xiaohui Cui' in Google

Emil Vassev

This author has not been identified. Look up 'Emil Vassev' in Google

Michael G. Hinchey

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

Christopher Rouff

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

Richard W. Buskens

This author has not been identified. Look up 'Richard W. Buskens' in Google