Translating TLA + to B for Validation with ProB.

Dominik Hansen Michael Leuschel

Published in: IFM (2012)

Keyphrases

temporal logic
computer vision
neural network
information retrieval
decision making
case study
similarity measure
user interface
learning process
probabilistic model
software engineering
information retrieval systems