Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Storey, Kyle"'
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:
Storey, Kyle R.
Publikováno v:
Theses and Dissertations.
Model checking is an effective method to verify both safety and liveness properties in distributed systems. However, the complexity of model checking grows exponentially with the number of entities which makes it suitable only for small systems. Inte
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.
Autor:
Nakade, Radha, Mercer, Eric, Aldous, Peter, Storey, Kyle, Ogles, Benjamin, Hooker, Joshua, Powell, Sheridan Jacob, McCarthy, Jay
Publikováno v:
Innovations in Systems & Software Engineering; Sep2019, Vol. 15 Issue 3/4, p289-306, 18p
Publikováno v:
ACM SIGSOFT Software Engineering Notes; December 2019, Vol. 44 Issue: 4 p19-19, 1p
Publikováno v:
ACM SIGSOFT Software Engineering Notes; December 2019, Vol. 44 Issue: 4 p18-18, 1p
Publikováno v:
ACM SIGSOFT Software Engineering Notes; December 2019, Vol. 44 Issue: 4 p15-15, 1p