Translating B to TLA + for Validation with TLC.

Dominik Hansen Michael Leuschel

Published in: ABZ (2014)

Keyphrases

temporal logic
data sets
databases
neural network
information systems
object recognition
test set
database
artificial intelligence
case study
pattern recognition
class imbalance