Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Nguyen, V.y."'
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:
Xinfeng Guo, Liu, Silvia, Yan, Rose, Nguyen, V.y., Zenati, Mazen, Billiar, Timothy R., Qingde Wang
Publikováno v:
Life Science Alliance; Mar2022, Vol. 5 Issue 3, p1-18, 18p, 2 Diagrams, 7 Graphs
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:
Proceedings of the 2nd NASA Formal Methods Symposium (NFM 2010), 13-15 April 2010, Washington, D.C., USA, 217-221
STARTPAGE=217;ENDPAGE=221;TITLE=Proceedings of the 2nd NASA Formal Methods Symposium (NFM 2010), 13-15 April 2010, Washington, D.C., USA
STARTPAGE=217;ENDPAGE=221;TITLE=Proceedings of the 2nd NASA Formal Methods Symposium (NFM 2010), 13-15 April 2010, Washington, D.C., USA
To combat the state-space explosion problem in model checking larger systems, abstraction techniques can be employed. Here, methods that operate on the system specification before constructing its state space are preferable to those that try to minim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::ee3c3b181f862af92c510210602c8d26
https://research.tue.nl/nl/publications/a895ef31-2fc6-4617-b7e1-0baf8a259513
https://research.tue.nl/nl/publications/a895ef31-2fc6-4617-b7e1-0baf8a259513
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:
Yushtein, Y., Bozzano, M., Cimatti, A., Katoen, J., Nguyen, V.Y., Noll, T., Olive, X., Roveri, M.
Publikováno v:
2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology (SMC-IT); 2011, p18-25, 8p