Resultados da pesquisa por Autor

1

Robustness Analysis of Stochastic Biochemical Systems

Robustness Analysis of Stochastic Biochemical Systems

Por Česka, Milan, Šafránek, David, Dražan, Sven, Brim, Luboš
Publicado em 2014

Obter o texto integral
Obter o texto integral
Obter o texto integral

Artigo

2

Formal methods applications and technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected /

Formal methods applications and technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel a...

Por International Workshop on Formal Methods for Industrial Critical Systems, Brim, Lubos.
Publicado em 2007

Obter o texto integral

Livro