An inheritance-based technique for building simulation proofs incrementally.

Idit Keidar Roger Khazan Nancy A. Lynch Alexander A. Shvartsman

Published in: ICSE (2000)

Keyphrases

simulation model
mathematical model
database
social networks
image processing
object oriented
real world
database systems
object oriented databases
simulation environment
high fidelity
artificial neural networks
logic programming
simulation study
discrete event simulation