| 大会名称 |
|---|
| 2011年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2011 |
| 発行日 |
| 2011/8/22 |
| セッション番号 |
| 1C |
| セッション名 |
| OS・ストレージ |
| 講演日 |
| 2011/09/07 |
| 講演場所(会議室等) |
| 函館大学 2F 206 |
| 講演番号 |
| B-043 |
| タイトル |
| 組込み用OSのネットワーク機能の設計と形式手法SPINによる検証 |
| 著者名 |
| 笠原 良太, 望月 祐希, 野口 健一郎, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (394.4KB) |
| 大会名称 |
|---|
| 2011年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2011 |
| 発行日 |
| 2011/8/22 |
| セッション番号 |
| 1C |
| セッション名 |
| OS・ストレージ |
| 講演日 |
| 2011/09/07 |
| 講演場所(会議室等) |
| 函館大学 2F 206 |
| 講演番号 |
| B-043 |
| タイトル |
| 組込み用OSのネットワーク機能の設計と形式手法SPINによる検証 |
| 著者名 |
| 笠原 良太, 望月 祐希, 野口 健一郎, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (394.4KB) |