Login / Signup
Formal Verification of Self-Organizing Systems.
Jan Calta
Published in:
AlgoSyn (2010)
Keyphrases
</>
formal verification
model checking
automated verification
data sets
management system
complex systems
model checker
expert systems
dynamical systems