Kusumoto Laboratory: T. Nagaoka, Model Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop, 2008.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
T. Nagaoka, "Model Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," Master thesis, 大阪大学, 2008.
ID 15
分類 学位論文
タグ model abstraction timed automata counterexample-guided abstraction refinement loop
表題 (title) Model Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
表題 (英文)
著者名 (author) Takeshi Nagaoka
英文著者名 (author) Takeshi Nagaoka
キー (key) Takeshi Nagaoka
学校名 (school) 大阪大学
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2008
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 0 (application/pdf) [一般閲覧可]
BiBTeXエントリ
@masterthesis{id15,
         title = {Model Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop},
        author = {Takeshi Nagaoka},
        school = {大阪大学},
         month = {0},
          year = {2008},
}
  

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.033672 seconds.