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

国際会議(査読付)
[1] Takahiro Ando, Shinji Kawasaki, Eun-Hye Choi, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshioka, Keisuke Shimatani, Munekazu Furuichi, and Osamu Mizuno, "Development of Formal Model Based Test -- Toward Automatic Testing Framework for Embedded Systems --," In Proc. of 22nd International Symposium on Software Reliability Engineering (ISSRE2011), Supplemental proceedings, number 4-4, November 2011.

Search

Tags

この検索内の頻出タグ: automatic:1 development:1 embedded:1 formal:1 framework:1 model:1 systems:1 test:1 testing:1 toward: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.245833 seconds.