Japanese | English

トップページへ戻る

詳細

   
URIhttp://ypir.lib.yamaguchi-u.ac.jp/un/metadata/723
タイトルモデル検査環境とプログラミング環境のラウンドトリップに向けて
タイトル別表記Towards a Seamless Round-Trip Development Environment between Model Checking and Programming
作成者田辺, 誠
作成者ヨミタナベ, マコト
作成者別表記Tanabe, Makoto
資料タイプtext
ファイル形式application/pdf
出版者宇部工業高等専門学校
出版者ヨミウベ コウギョウ コウトウ センモン ガッコウ
Nii資料タイプ紀要論文
本文言語jpn
ISSN0386-4359
掲載誌名宇部工業高等専門学校研究報告
52
開始ページ27
終了ページ31
発行日2006-03
著者版/出版社版出版社版
リポジトリIDUN20052000006
備考本文データは国立情報学研究所において電子化したものである
ファイルUN20052000006.pdf ( 560.3KB ) 公開日 2010-02-15
地域区分宇部工業高等専門学校