![](/img/cover-not-exists.png)
[IEEE 2011 IEEE International Symposium on Policies for Distributed Systems and Networks - POLICY - Pisa, Italy (2011.06.6-2011.06.8)] 2011 IEEE International Symposium on Policies for Distributed Systems and Networks - FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules
Thion, Romuald, Metayer, Daniel LeYear:
2011
Language:
english
DOI:
10.1109/POLICY.2011.26
File:
PDF, 486 KB
english, 2011