EpiSpec: A Formal Specification Language for Parameterized Agent-Based Models against Epidemiological Ground Truth Conference

Hussain, Faraz, Ramanathan, Arvind, Pullum, Laura L et al. (2014). EpiSpec: A Formal Specification Language for Parameterized Agent-Based Models against Epidemiological Ground Truth .

cited authors

  • Hussain, Faraz; Ramanathan, Arvind; Pullum, Laura L; Jha, Sumit K

authors

date/time interval

  • June 2, 2014 -

publication date

  • January 1, 2014

keywords

  • CHECKING
  • Engineering
  • Engineering, Biomedical
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology

Location

  • FL, Miami Beach

Conference

  • 4th IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS)

publisher

  • IEEE