Modelling Resilient Systems-of-Systems in Event-B.

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna

Browse the full SAFECOMP paper archive.