Login / Signup

Formal Specification and Experimental Analysis of an Interactive Epidemic Simulation Framework.

Yifei MaKeith R. BissetJiangzhuo ChenSuruchi DeodharMadhav V. Marathe
Published in: HPCC (2011)
Keyphrases
  • formal specification
  • specification language
  • model checking
  • object oriented design
  • reverse engineering
  • databases