Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk).

Michael Leuschel

Published in: SETS@ABZ (2018)

Keyphrases

invited talk
artificial intelligence
machine learning
database
information systems
e learning
probability distribution
fuzzy logic
lower and upper bounds
constrained problems