SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
| Title | SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法 |
|---|---|
| Authors | 浜口 優, 吉村 顕, 岡野 浩三, 楠本 真二 |
| Reference | 電子情報通信学会技術研究報告, SS2006-30, Vol.106, No.202, pp.29-34 |
| Type | report / 研究会 |
| Date | Aug 4, 2006 |
| Review | Reviewed |
| Presenter | 浜口 優 |
| Agenda of conference | Jul 2006 |
| Place of conference | 北海道大学工学部M棟 |
| Date of register | Aug 8, 2006 |
| ID | 595 |
| URL | http://www.ieice.org/ken/program/index.php?mode=program&tgs_regid=50d79ec0ab1480c714c95f033a3e7f43cbbd8e7e8ff05825e5bfcf5c603f68a0&tgid=SS&layout=&lang= |
| Society name | 電子情報通信学会 |
| Files | |
| Citation | @techreport{2006ID595,
author = {浜口, 優 and 吉村, 顕 and 岡野, 浩三 and 楠本, 真二},
year = {2006},
month = {aug 4},
title = {SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法},
}
|