C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Specification and Experimental Analysis of an Interactive Epidemic Simulation Framework.
Yifei Ma
Keith R. Bisset
Jiangzhuo Chen
Suruchi Deodhar
Madhav V. Marathe
Published in:
HPCC (2011)
Keyphrases
</>
formal specification
specification language
model checking
object oriented design
reverse engineering
databases