3 literature found
[1] Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, and and Hitoshi Osaki, "Formal Specification based Automatic Test Generation for Embedded Network Systems", Journal of Applied Mathematics, 2014(Article ID 909762), 21pages, May 2014.
[1] Eun-Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, and and Osamu Mizuno, "SENS - Specification Language for Embedded Network Systems - toward Automatic Test Generation (Preliminary Version)", Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology, 2011.
[1] Eun-Hye Choi, Hiroyuki Ozaki, Hayao Nakahara, Yoshiki Kinoshita, Masahiro Aoki, Keiichi Yoshisaka, Hiroshi Mine, and and Toru Shimizu, "組込みネットワークシステムの形式モデル指向テストに向けて", ソフトウェア信頼性研究会第6回ワークショップ(FORCE2010)論文集, pp. 4--17, 2010.
Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.
The publications displayed in this list is related to SEL@KIT members only.