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