Login / Signup
A Formal Framework for Compositional Verification of Organic Computing Systems.
Florian Nafz
Hella Seebach
Jan-Philipp Steghöfer
Simon Bäumler
Wolfgang Reif
Published in:
ATC (2010)
Keyphrases
</>
computing systems
machine learning
general purpose
model checking
formal methods