Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Soltanieh, Amin"'
Autor:
Siegle, Markus, Soltanieh, Amin
This report presents an algorithm for determining the unknown rates in the sequential processes of a Stochastic Process Algebra model, provided that the rates in the combined flat model are given. Such a rate lifting is useful for model reengineering
Externí odkaz:
http://arxiv.org/abs/2206.14505
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:
Soltanieh, Amin, Siegle, Markus
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 November 2020 353:129-148
