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

テクニカルレポート
[1] Eun-Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, and Osamu Mizuno, "Sens - Specification Language for Embedded Network Systems - Toward Automatic Test Generation (Preliminary Version)," number PS-2011-002, Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology, August 2011.

Search

Tags

この検索内の頻出タグ: automatic:1 embedded:1 generation:1 language:1 network:1 preliminary:1 sens:1 specification:1 systems:1 test:1 toward:1 version: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: 0.300797 seconds.