Další formáty:
BibTeX
LaTeX
RIS
@misc{1314371, author = {Šafránek, David}, booktitle = {Modeling and Simulation Seminar, Saarland University}, keywords = {model checking; formal methods; parameter synthesis; parametric uniformisation}, language = {eng}, title = {From Formal Methods to Systems Biology}, year = {2014} }
TY - SLIDE ID - 1314371 AU - Šafránek, David PY - 2014 TI - From Formal Methods to Systems Biology KW - model checking KW - formal methods KW - parameter synthesis KW - parametric uniformisation N2 - 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 temporal logics. 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. ER -
ŠAFRÁNEK, David. From Formal Methods to Systems Biology. In \textit{Modeling and Simulation Seminar, Saarland University}. 2014.
|