Login / Signup

A Formal Framework for Compositional Verification of Organic Computing Systems.

Florian NafzHella SeebachJan-Philipp SteghöferSimon BäumlerWolfgang Reif
Published in: ATC (2010)
Keyphrases
  • computing systems
  • machine learning
  • general purpose
  • model checking
  • formal methods