Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

Základní údaje

Originální název Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
Autoři

Další údaje

Citace BRIM, Luboš, Milan ČEŠKA, Sven DRAŽAN a David ŠAFRÁNEK. Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. In 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Berlin: Springer Berlin Heidelberg, 2013. s. 107-123, 17 s. ISBN 978-3-642-39798-1. doi:10.1007/978-3-642-39799-8_7.
Originální jazyk angličtina
Obor Informatika
WWW
Druh Článek ve sborníku
Klíčová slova continuous-time Markov chains; parameter exploration; model checking

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

Další info