Introducing Dynamic Properties with Past Temporal Operators in the B Refinement.

Mouna Saad Leila Jemni Ben Ayed

Published in: ATVA (2005)

Keyphrases

databases
neural network
dynamic environments
data sets
information retrieval
artificial intelligence
bayesian networks
artificial neural networks
probability distribution
desirable properties
dynamically changing
dynamically updated