Details
TitleSPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
Authors浜口 優
 吉村 顕
 岡野 浩三
 楠本 真二
Reference電子情報通信学会技術研究報告, SS2006-30, Vol.106, No.202, pp.29-34
Typereport
 研究会
DateAug/4/2006
ReviewReviewed
Presenter浜口 優
Agenda of conferenceAug/3-4/2006
Place of conference北海道大学工学部M棟
Date of RegisterAug/8/2006
Number595
URL http://www.ieice.org/ken/program/index.php?mode=program&tgs_regid=50d79ec0ab1480c714c95f033a3e7f43cbbd8e7e8ff05825e5bfcf5c603f68a0&tgid=SS&layout=&lang=
Society name電子情報通信学会
FilesAdobe PDF DocumentPowerPoint Presentation

Back