Event-B: From Systems to Sub-systems Modeling.

Published in: ABZ (2020)

Keyphrases

distributed systems
building blocks
database
genetic algorithm
e learning
database systems
multiscale
software engineering
knowledge based systems
retrieval systems
computational models
computing systems