Zobrazeno 1 - 2
of 2
pro vyhledávání: '"MELCHERT, JONAS"'
Publikováno v:
EPTCS 392, 2023, pp. 27-39
Model checking real-time systems is complex, and requires a careful trade-off between including enough detail to be useful and not too much detail to avoid state explosion. This work exploits variability of the formal model being analysed and the req
Externí odkaz:
http://arxiv.org/abs/2310.20395
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.