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