Login / Signup

Scaling BDD-based Timed Verification with Simulation Reduction.

Truong Khanh NguyenTian Huat TanJun SunJiaying LiYang LiuManman ChenJin Song Dong
Published in: ICFEM (2016)
Keyphrases
  • colored petri nets
  • discrete event
  • high fidelity
  • petri net
  • model checking
  • real time
  • data sets
  • numerical simulations
  • simulation model
  • database
  • machine learning
  • website
  • simulation study
  • simulation models