2016年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
C-025クリティカルエリアの重複と重み付き故障カバレージ

小林泰生,  岩崎一彦,  

C-026車載バッテリコントローラの故障時向け実機レス検証環境の開発

黒川能毅,  勝　康夫,  

C-028大規模なRFIDシステムにおけるスキップグラフを用いた認証

小森雄大,  酒井和哉,  福本　聡,  

RC-004マイクロ波による生体運動のドップラー計測システムにおける観測雑音の影響に関する検討

對馬圭悟,  佐藤宏明,  恒川佳隆,  

RC-005MANETプロトコルのモデル検査のための状態空間削減手法

長島悠太,  小島英春,  土屋達弘,  

RC-006時間制約を考慮可能な動的検証機能を備えた自己適応システム実装フレームワーク

津田宏軌,  中川博之,  土屋達弘,