Model checking requirements at run-time in adaptive systems

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