詳細情報

題名 SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法

著者浜口優, 吉村顕, 岡野浩三, 楠本真二

文献電子情報通信学会技術研究報告, SS2006-30, Vol.106, No.202, pp.29-34

種別国内会議

日付 2006年8月4日

査読査読付き

登壇発表者浜口優

会議の日程 2006年8月3-4日〜

会議の開催場所北海道大学工学部M棟

登録日 2006年8月8日

備考

番号 595

URL http://www.ieice.org/ken/program/index.php?mode=program&tgs_regid=50d79ec0ab1480c714c95f033a3e7f43cbbd8e7e8ff05825e5bfcf5c603f68a0&tgid=SS&layout=&lang=

DOI

ISBN

ISSN

学会名電子情報通信学会

ファイル

BibTeX

@inproceedings{sel595,
    author = {浜口 優 and 吉村 顕 and 岡野 浩三 and 楠本 真二},
    title = {{SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法}},
    booktitle = {電子情報通信学会技術研究報告, SS2006-30, Vol.106, No.202, pp.29-34},
    address = {北海道大学工学部M棟},
    year = 2006,
    month = aug,
}

戻る