Rigorous analysis of byzantine causal order using Event-B.

Nilima Fulmare Divakar Yadav

Published in: ICWET (2010)

Keyphrases

event detection
data sets
quantitative analysis
databases
artificial intelligence
decision trees
objective function
artificial neural networks
fault tolerant