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%2F13%3A00070436" target="_blank" >RIV/00216224:14330/13:00070436 - isvavai.cz</a>
Result on the web
<a href="http://www.sti.uniurb.it/events/sfm13ds/" target="_blank" >http://www.sti.uniurb.it/events/sfm13ds/</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Model Checking in Systems Biology
Original language description
Model checking together with other formal methods and techniques is being adapted for applications to biological systems. We present a selection of approaches used for modeling biological systems and formalizing their interesting properties in temporal logics. We also give a brief account of high performance model checking techniques and add a few case studies that demonstrate the use of model checking in computational systems biology. The primary aim is to give a reference for further reading.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/EE2.3.20.0256" target="_blank" >EE2.3.20.0256: Local team and international consortium for computational modelling of a cyanobacterial cell</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
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů