Extending UTP 2 with cascading arbitration specifications.

Marc-Florian Wendland Martin A. Schneider Andreas Hoffmann

Published in: A-TEST@ESEC/SIGSOFT FSE (2019)

Keyphrases

databases
operational semantics
machine learning
learning algorithm
similarity measure
data structure
lower bound
probability distribution
attribute grammars
bounded model checking