Results for tags: model checking
1 Non-Refereed Publication
2008
1. "Using OWL to Model Role Based Access Control", University of Maryland, Baltimore County, February 2008, 1108 downloads.