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