共 33 条
[1]
Axelrod R(1996)Aligning simulation models: a case study and results Comput Math Organ Theory 1 123-141
[2]
Axtell R(2001)A methodology for certification of modeling and simulation applications ACM Trans Model Comput Simul 11 352-377
[3]
Epstein J(2006)Verifying multi-agent programs by model checking Auton Agents Multi-Agent Syst 2 239-256
[4]
Cohen M(2004)Reducing the burden of anemia in infants and young children in malaria-endemic countries of Africa: from evidence to action Am J Trop Med Hyg 71 25-65
[5]
Balci O(2011)A framework for modeling genetically-aware mosquito vectors for sterile insect technique Int J Agent Technol Syst 3 49-38
[6]
Bordini R(2002)Visual debugging: a way of analyzing, understanding and communicating bottom-up simulation models in ecology Nat Resour Model 15 23-1112
[7]
Fisher M(2009)Agent-based modelling of mosquito foraging behaviour for malaria control Trans R Soc Trop Med Hyg 103 1105-162
[8]
Visser W(2009)Predicting the impact of insecticide-treated bed nets on malaria transmission: the devil is in the detail Malar J 8 256-224
[9]
Crawley J(1995)Verification and validation of simulation models Eur J Oper Res 82 145-320
[10]
Gentile J(2006)Effects of larval competitors and predators on oviposition site selection of anopheles gambiae sensu stricto J Med Entomol 43 221-27