Model Checking of Biological Systems (2013)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/13:00066544 |
|---|---|
| Název v anglickém jazyce | Model Checking of Biological Systems |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2013 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 3 |
| Počet domácích tvůrců | 3 |
| Výčet všech uvedených jednotlivých tvůrců | Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773) Milan Češka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1846000) David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) |
| Popis výsledku v anglickém jazyce | 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. |
| Klíčová slova oddělená středníkem | dynamical systems |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1007/978-3-642-38874-3_3 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Formal Methods for Dynamical Systems |
|---|---|
| ISBN | 9783642388736 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 50 |
| Strana od-do | 63-112 |
| Název nakladatele | Springer |
| Místo vydání | Neuveden |
| Místo konání akce | Bertinoro |
| Datum konání akce | 2013 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2014 |
| Specifikace | RIV/00216224:14330/13:00066544!RIV14-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2014 |
| Kontrolní číslo | 56538415 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2014 | RIV/00216224:14330/13:00066544 v dodávce dat RIV14-GA0-14330___/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu EE | EE2.3.20.0256 - Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice (2012 - 2015) |
|---|---|
| Projekt podporovaný MŠMT v programu EE | EE2.3.30.0009 - Zaměstnáním čerstvých absolventů doktorského studia k vědecké excelenci (2012 - 2015) |
| Projekt podporovaný GA ČR v programu GA | GAP202/11/0312 - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (2011 - 2013) |