SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
題名 | SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法 |
---|---|
著者 | 浜口 優, 吉村 顕, 岡野 浩三, 楠本 真二 |
文献 | 電子情報通信学会技術研究報告, SS2006-30, Vol.106, No.202, pp.29-34 |
種類 | report / 研究会 |
日付 | 2006年8月4日 |
査読 | 査読付き |
登壇発表者 | 浜口 優 |
会議の日程 | 2006年7月 |
会議の開催場所 | 北海道大学工学部M棟 |
登録日 | 2006年8月8日 |
番号 | 595 |
URL | http://www.ieice.org/ken/program/index.php?mode=program&tgs_regid=50d79ec0ab1480c714c95f033a3e7f43cbbd8e7e8ff05825e5bfcf5c603f68a0&tgid=SS&layout=&lang= |
学会名 | 電子情報通信学会 |
ファイル | |
引用形式 | @techreport{2006ID595, author = {浜口, 優 and 吉村, 顕 and 岡野, 浩三 and 楠本, 真二}, year = {2006}, month = {aug 4}, title = {SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法}, } |