Sign in

Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.

Brijesh DongolGerhard SchellhornHeike Wehrheim
Published in: CONCUR (2022)
Keyphrases
  • mathematical model
  • simulation model
  • discrete event simulation
  • simulation models
  • collision detection
  • neural network
  • information retrieval
  • data structure
  • simulation study
  • numerical simulations
  • bi directional