Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Skrypnyuk, Nataliya"'
Publikováno v:
In Journal of Logic and Algebraic Programming May 2012 81(4):522-540
Autor:
Skrypnyuk, Nataliya
Publikováno v:
Skrypnyuk, N 2011, Verification of Stochastic Process Calculi . IMM-PHD-2011-252, Technical University of Denmark, Kgs. Lyngby, Denmark .
Stochastic process calculi represent widely accepted formalisms within Computer Science for modelling nondeterministic stochastic systems in a compositional way. Similar to process calculi in general, they are suited for modelling systems in a hierar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::e46a119f74620f0a30137dbf0d571773
https://orbit.dtu.dk/en/publications/verification-of-stochastic-process-calculi(6b30c6a4-cf3b-474c-9cfe-a23abe672f4a).html
https://orbit.dtu.dk/en/publications/verification-of-stochastic-process-calculi(6b30c6a4-cf3b-474c-9cfe-a23abe672f4a).html
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.