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 . IEEE International Conference on Computational Advances in Bio and Medical Sciences Iccabs

cited authors

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

authors

date/time interval

  • June 2, 2014 -

publication date

  • January 1, 2014

published in

keywords

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