Model Checking of Biological Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F13%3A00066544" target="_blank" >RIV/00216224:14330/13:00066544 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1007/978-3-642-38874-3_3" target="_blank" >http://dx.doi.org/10.1007/978-3-642-38874-3_3</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-38874-3_3" target="_blank" >10.1007/978-3-642-38874-3_3</a>

Result language

angličtina

Original language name

Model Checking of Biological Systems

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2013

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Formal Methods for Dynamical Systems

ISBN

9783642388736

ISSN

0302-9743

e-ISSN

—

Number of pages

50

Pages from-to

63-112

Publisher name

Springer

Place of publication

Neuveden

Event location

Bertinoro

Event date

Jan 1, 2013

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—