Towards model checking in systems biology

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Towards model checking in systems biology

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Towards model checking in systems biology

Popis výsledku anglicky

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.

Druh

O - Ostatní výsledky

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/1M0545" target="_blank" >1M0545: Institut Teoretické Informatiky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2011

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů