Login / Signup

Distributive Laws and Decidable Properties of SOS Specifications.

Bartek KlinBeata Nachyla
Published in: EXPRESS/SOS (2014)
Keyphrases
  • desirable properties
  • formal specification
  • machine learning
  • decision trees
  • control flow