Publication details

<< back
 

Towards model checking in systems biology

Basic information
Original title:Towards model checking in systems biology
Author:David Šafránek
Further information
Citation:ŠAFRÁNEK, David. Towards model checking in systems biology. In DKE Informatics Colloquium, University of Maastricht. 2011.Export BibTeX
@misc{950034,
author = {Šafránek, David},
booktitle = {DKE Informatics Colloquium, University of Maastricht},
keywords = {systems biology; model checking; parameter synthesis},
language = {eng},
title = {Towards model checking in systems biology},
year = {2011}
}
Original language:English
Field:Informatics
Type:Vyžádané přednášky
Keywords:systems biology; model checking; parameter synthesis

Model checking method has been recently offered as an alternative analysis method in several tools for systems biology. The method inevitably fits (and enriches) the traditional systems biology workflow. However, there are still huge gaps that preclude serious application of the method to analysis of biological systems dynamics. In this talk we give an overview of our results directed towards serious application of the method to analysis of biological systems dynamics. In this talk we give an overview of our results directed towards adaptation of model checking to systems biology.

Related projects:

 
 
top