Login / Signup
Towards Formal Specification and Generation of Autonomic Policies.
Roy Sterritt
Michael G. Hinchey
James L. Rash
Walt Truszkowski
Christopher A. Rouff
Denis Gracanin
Published in:
EUC Workshops (2005)
Keyphrases
</>
formal specification
model checking
object oriented design
specification language
data abstraction
specification languages
reverse engineering
formal methods
process algebra
concurrent systems
model checker
artificial intelligence
cooperative
knowledge acquisition
autonomic computing