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]

Authors

Faraz Hussain

This author has not been identified. It may be one of the following persons: Look up 'Faraz Hussain' in Google

Arvind Ramanathan

This author has not been identified. Look up 'Arvind Ramanathan' in Google

Laura L. Pullum

This author has not been identified. Look up 'Laura L. Pullum' in Google

Sumit Kumar Jha

This author has not been identified. Look up 'Sumit Kumar Jha' in Google