|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H24) (Jun.2012 - Mar.2013 >
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10119/10769
|
| Title: | Model Checking Real-Time Systems with Schedulers |
| Authors: | Le Vo Hue, Quan |
| Keywords: | Model checking
Real-time systems |
| Issue Date: | Sep-2012 |
| Description: | Supervisor:Associate Professor Toshiaki Aoki
情報科学研究科
修士 |
| Title(English): | Model Checking Real-Time Systems with Schedulers |
| Authors(English): | Le Vo Hue, Quan |
| Language: | eng |
| URI: | https://hdl.handle.net/10119/10769 |
| Appears in Collections: | M-IS. 2012年度(H24) (Jun.2012 - Mar.2013)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| abstract.pdf | | 66Kb | Adobe PDF | View/Open | | paper.pdf | | 4191Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
