Resiliency Analysis of Mission-Critical System of Systems Using Formal Methods.

Mahmoud Abdelgawad, Indrakshi Ray

Browse the full DBSEC paper archive.