Fusion and Simultaneous Execution in the Refinement Calculus.

Ralph-Johan Back Michael J. Butler

Published in: Acta Informatica (1998)

Keyphrases

data fusion
information fusion
fusion method
execution model
multi sensor
fusion framework
dynamic environments
fusion algorithm
sensor fusion
fusion methods
provably correct
fusion process
fusion scheme
parallel execution
plan execution
real time
active databases
first order logic
case study
data sets