Verification of Policy-Based Self-Managed Cell Interactions Using Alloy


Authors

A. Schaeffer, E.C. Lupu, M. Sloman, Susan Eisenbach

Abstract



Publication Date

July, 2009

Venue

Policy 2009, http://www.policy-workshop.org/program.html

Published To

Conference


Publication Type

Externally published

ITA Area

Project 4, Technical area 2

Download a copy of the paper here

policy-2009.pdf

Return to main page