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

Ovidiu Pârvu; David Gilbert

doi:10.1371/journal.pone.0154847

Loading metrics

Open Access

Peer-reviewed

Research Article

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

Ovidiu Pârvu ,

* E-mail: ovidiu.parvu@gmail.com

Affiliation Department of Computer Science, College of Engineering, Design and Physical Sciences, Brunel University London, London, United Kingdom

http://orcid.org/0000-0002-4842-6575

⨯
David Gilbert

Affiliation Department of Computer Science, College of Engineering, Design and Physical Sciences, Brunel University London, London, United Kingdom
⨯

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

Ovidiu Pârvu,
David Gilbert

Published: May 17, 2016
https://doi.org/10.1371/journal.pone.0154847

Reader Comments

Post a new comment on this article

Updated link for reference 7

Posted by OvidiuParvu on 13 Aug 2017 at 13:49 GMT

Good day,

I would like to let you know that the link corresponding to reference 7 in the article is invalid and the following link should be used instead:
https://link.springer.com...

I do apologize for any inconvenience caused.

Kind regards,
Ovidiu Parvu

No competing interests declared.

Subject Areas
?

For more information about PLOS Subject Areas, click here.
We want your feedback. Do these Subject Areas make sense for this article? Click the target next to the incorrect Subject Area and let us know. Thanks for your help!

Simulation and modeling
Is the Subject Area "Simulation and modeling" applicable to this article?

Thanks for your feedback.
Mules
Is the Subject Area "Mules" applicable to this article?

Thanks for your feedback.
Cell cycle and cell division
Is the Subject Area "Cell cycle and cell division" applicable to this article?

Thanks for your feedback.
Inflammation
Is the Subject Area "Inflammation" applicable to this article?

Thanks for your feedback.
Xenopus
Is the Subject Area "Xenopus" applicable to this article?

Thanks for your feedback.
Natural language
Is the Subject Area "Natural language" applicable to this article?

Thanks for your feedback.
Computer software
Is the Subject Area "Computer software" applicable to this article?

Thanks for your feedback.
Ontologies
Is the Subject Area "Ontologies" applicable to this article?

Thanks for your feedback.

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

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

Reader Comments

Post Your Discussion Comment

Why should this posting be reviewed?

Thank You!

Updated link for reference 7

Posted by OvidiuParvu on 13 Aug 2017 at 13:49 GMT