Detailed Information on Publication Record
2013
Model Checking of Biological Systems
BRIM, Luboš, Milan ČEŠKA and David ŠAFRÁNEKBasic information
Original name
Model Checking of Biological Systems
Name in Czech
Ověřování modelů biologických systémů
Authors
BRIM, Luboš (203 Czech Republic, guarantor, belonging to the institution), Milan ČEŠKA (203 Czech Republic, belonging to the institution) and David ŠAFRÁNEK (203 Czech Republic, belonging to the institution)
Edition
Neuveden, Formal Methods for Dynamical Systems, p. 63-112, 50 pp. 2013
Publisher
Springer
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
printed version "print"
Impact factor
Impact factor: 0.402 in 2005
RIV identification code
RIV/00216224:14330/13:00066544
Organization unit
Faculty of Informatics
ISBN
978-3-642-38873-6
ISSN
Keywords (in Czech)
dynamické systémy
Keywords in English
dynamical systems
Tags
International impact, Reviewed
Změněno: 24/4/2014 18:49, RNDr. Pavel Šmerk, Ph.D.
Abstract
V originále
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.
Links
| EE2.3.20.0256, research and development project |
| ||
| EE2.3.30.0009, research and development project |
| ||
| GAP202/11/0312, research and development project |
|