Safety Analysis in the NGAC Model.

Brian Tan, Ewan S. D. Davies, Indrakshi Ray, Mahmoud Abdelgawad

Browse the full SACMAT paper archive.