A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
VERIFICATION AND TESTING OF BIOLOGICAL MODELS
2010
Proceedings of the 2010 Winter Simulation Conference
Preserved Fulltext
Simulation modeling in systems biology embarks on discrete event simulation only for cases of small cardinalities of entities and uses continuous simulation otherwise. Modern modeling environments like Bio-PEPA support both types of simulation within a single modeling formalism. Developing models for complex dynamic phenomena is not trivial in practice and requires careful verification and testing. In this paper, we describe relevant steps in the verification and testing of a TNFa-mediated
doi:10.1109/wsc.2010.5679126
dblp:conf/wsc/ClarkHGK10
fatcat:ljexuf6wfzcjdjswczjla3vn24