D 2013

Model Checking of Biological Systems

BRIM, Luboš, Milan ČEŠKA a David ŠAFRÁNEK

Základní údaje

Originální název

Model Checking of Biological Systems

Název česky

Ověřování modelů biologických systémů

Autoři

BRIM, Luboš (203 Česká republika, garant, domácí), Milan ČEŠKA (203 Česká republika, domácí) a David ŠAFRÁNEK (203 Česká republika, domácí)

Vydání

Neuveden, Formal Methods for Dynamical Systems, od s. 63-112, 50 s. 2013

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/13:00066544

Organizační jednotka

Fakulta informatiky

ISBN

978-3-642-38873-6

ISSN

DOI

Klíčová slova česky

dynamické systémy

Klíčová slova anglicky

dynamical systems

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 24. 4. 2014 18:49, RNDr. Pavel Šmerk, Ph.D.

Anotace

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.

Návaznosti

EE2.3.20.0256, projekt VaV
Název: Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice
EE2.3.30.0009, projekt VaV
Název: Zaměstnáním čerstvých absolventů doktorského studia k vědecké excelenci
GAP202/11/0312, projekt VaV
Název: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)
Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification