Login / Signup

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

Alberto E. Schaeffer FilhoEmil C. LupuMorris SlomanSusan Eisenbach
Published in: POLICY (2009)
Keyphrases
  • living cells
  • service oriented
  • optimal policy
  • model checking
  • asymptotically optimal
  • asynchronous circuits
  • cellular processes
  • multi agent systems
  • face verification
  • signature verification
  • verification method