Translating Alloy and extensions to classical B.

Sebastian Krings Michael Leuschel Joshua Schmidt David Schneider Marc Frappier

Published in: Sci. Comput. Program. (2020)

Keyphrases

learning algorithm
real time
decision trees
information retrieval
artificial intelligence
information systems
image processing
website
bayesian networks