Details
TitleSPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
Authors浜口 優
 吉村 顕
 岡野 浩三
 楠本 真二
Bibliography電子情報通信学会技術研究報告, SS2006-30, Vol.106, No.202, pp.29-34
TypeDomestic Conference
DateAugust 4, 2006
ReviewReviewed
Presenter浜口 優
Conference ScheduleAugust 3-4, 2006
Conference Venue北海道大学工学部M棟
Registration DateAugust 8, 2006
Number595
URLhttp://www.ieice.org/ken/program/index.php?mode=program&tgs_regid=50d79ec0ab1480c714c95f033a3e7f43cbbd8e7e8ff05825e5bfcf5c603f68a0&tgid=SS&layout=&lang=
Society Name電子情報通信学会
FilesAdobe PDF DocumentPowerPoint Presentation
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,
}

Back