A demonstration of formal policy reasoning using an extended version of basevisor
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|a demonstration of formal policy reasoning using an extended version of basevisor }}
- [[]]
bibtex
{{#vardefine:pagename|A demonstration of formal policy reasoning using an extended version of basevisor }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about A demonstration of formal policy reasoning using an extended version of basevisorRDF feed
| Author | Christopher J. Matheus +, Mieczyslaw M. Kokar +, and Robert Dionne + |
| Bibtype | inproceedings + |
| Booktitle | POLICY + |
| Doi | http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.34 + |
| Key | dblp:conf/policy/matheuskd08 + |
| Pages | 225-227 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/policy/MatheusKD08 + |
| Tag | Policy +, and Computer science + |
| Title | A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor + |
| Year | 2008 + |
