Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Dead variable reduction"'
Autor:
Mark Timmer
Quantitative model checking is concerned with the verification of both quantitative and qualitative properties over models incorporating quantitative information. Increases in expressivity of the models involved allow more types of systems to be anal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d668731f60b716f03539402dffb8ebf0
https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).html
https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).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.