Zobrazeno 1 - 1
of 1
pro vyhledávání: '"METIS-309547"'
Publikováno v:
International journal on software tools for technology transfer, 18(4), 427-448. Springer
This paper aims at making partial-order reduction independent of the modeling language. To this end, we present a guard-based method which is a general-purpose implementation of the stubborn set method. We approach the implementation through so-calle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41796ed1b0d99a2eb1c85e7ecb0b012d
https://doi.org/10.1007/s10009-014-0363-9
https://doi.org/10.1007/s10009-014-0363-9
