Home >

news ヘルプ

論文・著書情報


タイトル
和文:定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究 
英文: 
著者
和文: 冨田尭.  
英文: Takashi Tomita.  
種別
種別:学位論文(博士)審査の要旨 
国名:日本 
言語 Japanese 
学位授与組織 東京工業大学 
報告番号 甲第9328号 
学位授与日 2013/09/25 
審査員 米崎 直樹, 徳田 雄洋, 権藤 克彦, 渡部 卓雄, 西崎 真也.  
ファイル   

©2007 Institute of Science Tokyo All rights reserved.