A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking

Furkejuvvon:

Bibliográfalaš dieđut
Publikašuvnnas:	PLoS One vol. 11, no. 5 (May 2016), p. e0154847
Váldodahkki:	Pârvu, Ovidiu
Eará dahkkit:	Gilbert, David
Almmustuhtton:	Public Library of Science
Fáttát:	Brunel University United Kingdom > UK United States > US International conferences Physiology Biological computing Computer science Bioinformatics Biology Computer applications Time series Animal models Organs Cardiovascular system Biological models (mathematics) Coding Computer programs Methodology Environmental Scale (ratio) Multilevel System dynamics Program verification (computers) Uterus Mathematical models Cell cycle Software development tools Lungs Multiscale analysis
Liŋkkat:	Citation/Abstract Full Text Full Text - PDF
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!