Home >

news ヘルプ

論文・著書情報


タイトル
和文:リアクティブシステム仕様の検証方法とその実装に関する研究 
英文: 
著者
和文: 安藤崇央.  
英文: Takahiro ANDO..  
種別
種別:学位論文(博士) 
国名:日本 
言語 Japanese 
学位授与組織 東京工業大学 
報告番号 甲第9587号 
学位授与日 2014/04/30 
審査員 米崎 直樹, 徳田 雄洋, 権藤 克彦, 渡部 卓雄, 西崎 真也.  
ファイル   

©2007 Institute of Science Tokyo All rights reserved.