Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Hirosato Tsuji"'
Publikováno v:
CCNC
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26e9cfe9948f1298ecfc4c49a26b0f2b
https://doi.org/10.1109/ccnc.2007.13
https://doi.org/10.1109/ccnc.2007.13
Autor:
Kenjiroh Yamanaka, Hirosato Tsuji, Toshihiko Shimizu, Yoshikazu Sato, Yoshinori Itabashi, Kazuhito Ohmaki
Publikováno v:
FORTE
LOTOS has attracted a lot of attention as a suitable language for formal description techniques, and a number of LOTOS processors have been proposed and implemented, that include specification simulators, test case generators, property checkers, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5383743daffdaaf76f273a380018540
https://doi.org/10.1016/b978-0-444-89402-1.50033-3
https://doi.org/10.1016/b978-0-444-89402-1.50033-3
