Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Drabik, Peter"'
Publikováno v:
EPTCS 100, 2012, pp. 63-81
Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive systems. The modular approach is based on the observation that properti
Externí odkaz:
http://arxiv.org/abs/1211.4093
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.
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.
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.
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.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 21 December 2010 268:61-75
Publikováno v:
In Sustainable Resource Management 2021:221-240
Publikováno v:
In Sustainable Resource Management 2021:25-49
Publikováno v:
In Sustainable Resource Management 2021:411-439
Publikováno v:
In Sustainable Resource Management 2021:369-385