EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth

Faraz Hussain, Arvind Ramanathan, Laura L. Pullum, Sumit Kumar Jha. EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth. In IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014, Miami, FL, USA, June 2-4, 2014. pages 1-6, IEEE, 2014. [doi]

No reviews for this publication, yet.