Model checking requirements at run-time in adaptive systems

Article CLOSED
Paola Inverardi ; Marco Mori (2011)
Share - Bookmark