|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H18) (Jun.2006 - Mar.2007 >
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10119/3592
|
| Title: | RTOSを用いた組込みソフトウェア設計の検証手法の提案と事例への適用 |
| Authors: | 飛鳥, 誠 |
| Authors(alternative): | あすか, まこと |
| Keywords: | モデル検査,SPIN,RTOS,μITRON,設計検証
model checking, SPIN, μITRON, design verification |
| Issue Date: | Mar-2007 |
| Description: | Supervisor:岸 知二
情報科学研究科
修士 |
| Title(English): | Model checking method for Embedded Software using RTOS |
| Authors(English): | Asuka, Makoto |
| Language: | jpn |
| URI: | https://hdl.handle.net/10119/3592 |
| Appears in Collections: | M-IS. 2006年度(H18) (Jun.2006 - Mar.2007)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| 037abstract.pdf | | 49Kb | Adobe PDF | View/Open | | 040paper.pdf | | 1045Kb | Adobe PDF | View/Open | | 055jabstract.pdf | | 91Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
