SEL@KIT
  • リスト
  •  表 
  • LaTeX
  • BibTeX
  • 統計情報
List view

学術論文誌(査読付)
[1] Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, and Hitoshi Osaki, "Formal Specification Based Automatic Test Generation for Embedded Network Systems," Journal of Applied Mathematics, volume 2014, number Article ID 909762, 21pages, May 2014.

Search

Tags

この検索内の頻出タグ: automatic:1 embedded:1 formal:1 generation:1 network:1 specification:1 systems:1 test:1

1 件の該当がありました. : このページのURL : HTML : RSS : XML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by o-mizuno.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 4.719013 seconds.