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

I tiakina i:

Ngā taipitopito rārangi puna kōrero
I whakaputaina i:	PLoS One vol. 11, no. 5 (May 2016), p. e0154847
Kaituhi matua:	Pârvu, Ovidiu
Ētahi atu kaituhi:	Gilbert, David
I whakaputaina:	Public Library of Science
Ngā marau:	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
Urunga tuihono:	Citation/Abstract Full Text Full Text - PDF
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Me noho koe te mea tuatahi ki te waiho tākupu!