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を用いたウェブアプリケーションにおける階層別モデル検査支援方法}, } |