大会名称 |
---|
2008年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2008 |
発行日 |
2008/8/20 |
セッション番号 |
7F |
セッション名 |
OS |
講演日 |
2008/09/04 |
講演場所(会議室等) |
F会場(κ棟2階 κ21教室) |
講演番号 |
B-036 |
タイトル |
拡張状態遷移技法を用いた仕様検証の実験 : 組込み用OS試作への適用 |
著者名 |
野口 健一郎, 川守田 慶, |
キーワード |
抄録 |
本文pdf |
PDF download (326.1KB) |