Home >

news ヘルプ

論文・著書情報


タイトル
和文:ペトリネットと時相論理を用いたリアクティブ並行システムの開発環境の研究 
英文:A programming environment for reactive and concurrent systems using petri nets and temporal logic 
著者
和文: 内平直志.  
英文: Naoshi Uchihira .  
種別
種別:学位論文(博士) 
国名:Japan 
言語 English 
学位授与組織 Tokyo Institute of Technology 
報告番号 乙第3125号 
学位授与日 1997/12/31 
審査員  
ファイル   

©2007 Institute of Science Tokyo All rights reserved.