BRIM, Luboš, Milan ČEŠKA a David ŠAFRÁNEK. Model Checking of Biological Systems. In Marco Bernardo. Formal Methods for Dynamical Systems. Neuveden: Springer. s. 63-112. ISBN 978-3-642-38873-6. doi:10.1007/978-3-642-38874-3_3. 2013.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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 0302-9743
Doi http://dx.doi.org/10.1007/978-3-642-38874-3_3
Klíčová slova česky dynamické systémy
Klíčová slova anglicky dynamical systems
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 24. 4. 2014 18:49.
Anotace
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 VaVNá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 VaVNázev: Zaměstnáním čerstvých absolventů doktorského studia k vědecké excelenci
GAP202/11/0312, projekt VaVNá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
VytisknoutZobrazeno: 29. 3. 2024 02:56