Sign in

Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition.

Andreas ZellerNasser JazdiMichael Weyrich
Published in: Autom. (2018)
Keyphrases
  • starting point
  • pattern recognition
  • higher order
  • prior knowledge
  • active learning
  • hidden markov models
  • domain specific