伊藤明彦, "時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析手法," 修士学位論文, 大阪大学, 2010年.
ID 88
分類 学位論文
タグ model abstraction
表題 (title) 時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析手法
表題 (英文)
著者名 (author) 伊藤明彦
英文著者名 (author) Akihiko Ito
キー (key) Akihiko Ito
学校名 (school) 大阪大学
出版社住所 (address)
刊行月 (month) 2
出版年 (year) 2010
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル masterthesis.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@masterthesis{id88,
         title = {時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析手法},
        author = {伊藤明彦},
        school = {大阪大学},
         month = {2},
          year = {2010},
}