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]

Abstract

Abstract is missing.