18
IRUS TotalDownloads
Altmetric
Toward a Formal Characterization of Policy Specification & Analysis
| File | Description | Size | Format | |
|---|---|---|---|---|
 Policy-formal-specification.pdf | Accepted version | 168.96 kB | Adobe PDF | View/Open |
| Title: | Toward a Formal Characterization of Policy Specification & Analysis |
| Authors: | Bandara, A Lobo, J Calo, S Lupu, E Russo, A Sloman, M |
| Item Type: | Conference Paper |
| Issue Date: | 30-Sep-2007 |
| URI: | http://hdl.handle.net/10044/1/5955 |
| Publisher Link: | http://www.usukita.org/?q=node/13 |
| Presented At: | Annual Conference of ITA (ACITA), |
| Start Page: | 1 |
| End Page: | 9 |
| Copyright Statement: | © 2007 The authors |
| Conference Location: | University of Maryland, USA |
| Appears in Collections: | Distributed Software Engineering Computing |