Kusumoto Laboratory: T. Nagaoka, Study on Model Abstraction for Model Checking of Real-Time Systems, 2011.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
T. Nagaoka, "Study on Model Abstraction for Model Checking of Real-Time Systems," Ph.D. thesis, Osaka University, 2011.
ID 138
分類 学位論文
タグ abstraction checking model real-time study systems
表題 (title) Study on Model Abstraction for Model Checking of Real-Time Systems
表題 (英文)
著者名 (author) Takeshi Nagaoka
英文著者名 (author) Takeshi Nagaoka
キー (key) Takeshi Nagaoka
学校名 (school) Osaka University
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2011
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル thesis.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@phdthesis{id138,
         title = {Study on Model Abstraction for Model Checking of Real-time Systems},
        author = {Takeshi Nagaoka},
        school = {Osaka University},
         month = {0},
          year = {2011},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML

Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.035522 seconds.