Zobrazeno 1 - 10
of 68
pro vyhledávání: '"Tschaikowski M."'
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.
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.
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.
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.
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.
Autor:
Cardelli, L, Tribastone, M, Tschaikowski, M, Vandin, A, Aceto, L, Bacci, G, Ingólfsdóttir, A, Legay, A, Mardare, R
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319631202
Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially large state spaces. This makes the analysis very difficult in practice and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1d58752c898df58708f25a9daca54ee
https://ora.ox.ac.uk/objects/uuid:6b46dbcb-a2f0-4bef-8b8f-f1d8ea278129
https://ora.ox.ac.uk/objects/uuid:6b46dbcb-a2f0-4bef-8b8f-f1d8ea278129
Autor:
Bortolussi L., Ciancia V., Gilmore S., Hillston J., Latella D., Loreti M., Massink M., Nenzi L., Paskauskas R., Tribastone M., Tschaikowski M.
Publikováno v:
ISTI Technical reports, 2016
This Internal Report describes the status of the work performed in the project on the extension of the theoretical foundations of scalable model-checking approaches with suitable notions of spatial verification. Various forms of scalable model-checki
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::00f68fa37f979e471e6416543cc3bc33
https://openportal.isti.cnr.it/doc?id=people______::00f68fa37f979e471e6416543cc3bc33
https://openportal.isti.cnr.it/doc?id=people______::00f68fa37f979e471e6416543cc3bc33
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.
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.
Autor:
Galpin V., Bortolussi L., Ciancia V., Clark A., De Nicola R., Feng C., Gilmore S., Gast N., Hillston J., Lluch-Lafuente A., Loreti M., Massink M., Nenzi L., Reijsbergen D., Senni V., Tiezzi F., Tribastone M., Tschaikowski M.
Publikováno v:
Project report, QUANTICOL, Deliverable D2.1, 2014
Space is important in the QUANTICOL project because the project case studies include smart transport, and quantitative modelling of transport has inherent spatial aspects. This deliverable presents a review of the literature about spatial modelling w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::336f5c0635d50901879359157354aee2
http://www.cnr.it/prodotto/i/362768
http://www.cnr.it/prodotto/i/362768