![Theoretical computer science / Formal methods / Formal verification / Logic in computer science / Frappier / Electronic engineering Theoretical computer science / Formal methods / Formal verification / Logic in computer science / Frappier / Electronic engineering](https://www.pdfsearch.io/img/3b31806e0b8f874ecf68d5af06bba83e.jpg) Date: 2018-06-13 06:07:43Theoretical 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 30thAdd to Reading ListSource URL: alloytools.orgDownload Document from Source Website File Size: 386,60 KBShare Document on Facebook
|