Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Formal verification / Logic in computer science / Frappier / Electronic engineering


Validating SGAC Access Control Policies with Alloy and ProB Nghi Huynh, Marc Frappier, Amel Mammar and RĀ“egine Laleau FA 2018, April 30th
Add to Reading List

Document Date: 2018-06-13 06:07:43


Open Document

File Size: 386,60 KB

Share Result on Facebook
UPDATE