Zobrazeno 1 - 1
of 1
pro vyhledávání: '"METIS-264177"'
Autor:
J., Hilston, de Alfaro, Luca, Faella, Marco, M.Z., Kwiatkowska, Telek, M., Stoelinga, Mariëlle Ida Antoinette
Publikováno v:
IEEE transactions on software engineering, 35(2):10.1109/TSE.2008.106, 258-273. IEEE
We extend the classical system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted not as boolean values, but as elements of arbitrary metric spaces. Trace incl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b810f2da492b29d48f1d786cdd96b384
https://doi.org/10.1109/tse.2008.106
https://doi.org/10.1109/tse.2008.106
