Login / Signup
Comparison of specification decomposition methods in Event-B.
Petr N. Devyanin
Victor V. Kulyamin
Alexander K. Petrenko
Alexey V. Khoroshilov
Ilya V. Shchepetkov
Published in:
Program. Comput. Softw. (2016)
Keyphrases
</>
decomposition methods
decomposition method
training support vector machines
database theory
event detection
working set selection
constraint satisfaction problems
hypertree decomposition
support vector machine
integrity constraints
tree decomposition
working set