Login / Signup

VMDV: A 3D visualization tool for modeling, demonstration, and verification.

Jian LiuYing JiangYanyun Chen
Published in: TASE (2017)
Keyphrases
  • modeling tool
  • information retrieval
  • visualization tool
  • genetic algorithm
  • social networks
  • model checking
  • user friendly
  • colored petri nets