A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B.

Ahmet Kara Halit Oguztüzün M. Nedim Alpdemir

Published in: Comput. J. (2015)

Keyphrases

high resolution
database
low resolution
event detection
sampling rate
decision trees
multi agent
data model
mathematical models
conflict detection