Formal Analysis of Resilience in Transport Systems with Bigraphs.

Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani

Browse the full SAFECOMP paper archive.