|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H27) (Jun.2015 - Mar.2016 >
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10119/12933
|
| Title: | Verification of automotive operating systems for multi-core processors |
| Authors: | MALEEHUAN, Pattaravut |
| Authors(alternative): | まりーぬあん, ぱったーうっと |
| Keywords: | formal verification
multi-core systems
memory consistency model
formal model |
| Issue Date: | Sep-2015 |
| Description: | Supervisor:Toshiaki Aoki
School of Information Science
Master |
| Title(English): | Verification of automotive operating systems for multi-core processors |
| Authors(English): | MALEEHUAN, Pattaravut |
| Language: | eng |
| URI: | https://hdl.handle.net/10119/12933 |
| Appears in Collections: | M-IS. 2015年度(H27) (Jun.2015 - Mar.2016)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| abstract.pdf | | 84Kb | Adobe PDF | View/Open | | paper.pdf | | 596Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
