Towards model checking in systems biology
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F11%3A00053088" target="_blank" >RIV/00216224:14330/11:00053088 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Towards model checking in systems biology
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1M0545" target="_blank" >1M0545: Institute for Theoretical Computer Science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů