Login / Signup

An inheritance-based technique for building simulation proofs incrementally.

Idit KeidarRoger KhazanNancy A. LynchAlexander 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