July 2012

Conference Paper

The AdaptiV Approach to Verification of Adaptive Systems

By:
Rouff, Christopher; Buskens, Richard; Pullum, Laura L; Cui, Xiaohui ; Hinchey, Mike
Publication Date:
July 2012
Conference Name:
Fifth International C* Conference on Computer Science & Software Engineering (C3S2E'12)
Conference Location:
Montreal, Canada