Informační systém Masarykovy univerzity 

Model Checking of Biological Systems

česky | in English

BRIM, Luboš, Milan ČEŠKA a David ŠAFRÁNEK. Model Checking of Biological Systems. In Marco Bernardo. Formal Methods for Dynamical Systems. Neuveden: Springer, 2013. s. 63-112, 50 s. ISBN 978-3-642-38873-6. doi:10.1007/978-3-642-38874-3_3.
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 Článek ve sborníku
Obor Informatika
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, Standardní projekty
VytisknoutZobrazeno: 20. 9. 2017 23:47

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2017 23:47, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému