Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach.

Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem

Browse the full ISoLA paper archive.