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},
}