Login / Signup
An inheritance-based technique for building simulation proofs incrementally.
Idit Keidar
Roger Khazan
Nancy A. Lynch
Alexander A. Shvartsman
Published in:
ACM Trans. Softw. Eng. Methodol. (2002)
Keyphrases
</>
mobile robot
object oriented
simulation model
knowledge representation
simulation study
simulation models
formal proof
real time
data sets
web services
three dimensional
natural language
numerical simulations