Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition.

Andreas Zeller Nasser Jazdi Michael Weyrich

Published in: Autom. (2018)

Keyphrases

starting point
pattern recognition
higher order
prior knowledge
active learning
hidden markov models
domain specific