Home >

news ヘルプ

論文・著書情報


タイトル
和文: 
英文:Completeness of Verification methods for Approaching to Realizable Reactive Specifications 
著者
和文: 萩原 茂樹, 米崎 直樹.  
英文: Shigeki Hagihara, Naoki Yonezaki.  
言語 English 
掲載誌/書名
和文: 
英文:Proceedings of 1st Asian Working Conference on Verified Software AWCVS'06, UNU-IIST Technical Report 
巻, 号, ページ Vol. 348        pp. 242-257
出版年月 2006年10月 
出版者
和文: 
英文: 
会議名称
和文: 
英文:1st Asian Working Conference on Verified Software AWCVS'06 
開催地
和文: 
英文:Macao, China 
公式リンク http://www.iist.unu.edu/newrh/III/1/docs/techreports/report348.html
 

©2007 Institute of Science Tokyo All rights reserved.