BioDiVinE: Framework pro analýzu biologických modelů

Základní údaje

Originální název BioDiVinE: A Framework for Parallel Analysis of Biological Models
Autoři

Další údaje

Citace BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ, Jan LÁNÍK, David ŠAFRÁNEK a Ma HONGWU. BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proceedings of 2nd International Workshop on Computational Models for Cell Processes. Neuveden: EPTCS, 2009. s. 31-45, 15 s. ISSN 2075-2180.
Originální název angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova model checking; multi-affine systems; dynamic systems; rectangular abstraction

Anotace

V článku je představen nástroj BioDiVinE pro paralelní analýzu biologických modelů. Nástroj umožňuje analýzu kvalitativních temporálních vlastností dynamiky prostřednictvím obdélníkové abstrakce. Použití je demonstrováno prostřednictvím případové studie na reálném biologickém modelu bakterie E.Coli.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info