• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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