実時間システムの仕様記述と検証に関する研究
Kyoto University (京都大学) === 0048 === 新制・論文博士 === 博士(工学) === 乙第9577号 === 論工博第3236号 === 新制||工||1081(附属図書館) === 16400 === UT51-97-H414 === (主査)教授 上林 彌彦, 教授 矢島 脩三, 教授 池田 克夫 === 学位規則第4条第2項該当...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Japanese |
| Published: |
Kyoto University
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2433/202357 |