Using Event Calculus to Formalise Policy Specification and Analysis (2003)

Cached

Download Links

by Arosha K Bandara , Emil C Lupu , Alessandra Russo
Venue:4th IEEE Workshop on Policies for Networks and Distributed Systems (Policy 2003
Citations:55 - 7 self