Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Jaeyoun Jung"'
Publikováno v:
Journal of the Korean institute of rural architecture. 22:1-12
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b394bbff8696167bd94992fd12f06d9
https://doi.org/10.14577/kirua.2020.22.1.1
https://doi.org/10.14577/kirua.2020.22.1.1
Publikováno v:
Proceedings Twelfth International Conference on Information Networking (ICOIN-12).
This paper presents an implementation of model checking tool for LTS process specification which checks deadlock, livelock and reachability for the state and action. The implemented formal checker using modal mu-calculus is able to verify whether pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::badfb447d614efb7e409bb70e5a0aa90
https://doi.org/10.1109/icoin.1998.648443
https://doi.org/10.1109/icoin.1998.648443
Autor:
Young-Tak Kim, Makoto Takano, Elmurod Talipov, Donxue Jin, Jaeyoun Jung, Ilkhyu Ha, YoungJun Choi, Chonggun Kim
Publikováno v:
Management of Convergence Networks & Services; 2006, p574-577, 4p
Publikováno v:
Proceedings Twelfth International Conference on Information Networking (ICOIN-12); 1998, p539-543, 5p