A survey of formal methods in self-adaptive systems (2012)

by D Weyns, M U Iftikhar, de la Iglesia, D G, T Ahmad
Venue:In C3S2E