From Formal Methods to Systems Biology
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F14%3A00084284" target="_blank" >RIV/00216224:14330/14:00084284 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
From Formal Methods to 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 modelling biological systems and formalising their interesting properties in temporallogics. Special intention will be given to parameter exploration methods based on model checking. We will cover both deterministic and stochastic modelling paradigms. We also give a brief account of currently solved case studies to demonstrate the real problems and to rise the challenges. The primary aim of the talk is to give a brief overview of our research.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů