論文発表

  • March 1,2011

    車両内ウェイクアップ型無線通信におけるエラー耐性IDマッチング

    電子情報通信学会 情報ネットワーク研究会

  • March 1,2011

    車両内ウェイクアップ型無線通信におけるエラー耐性IDマッチング

    電子情報通信学会 総合大会

  • March 1,2011

    An Error-Tolerant ID-Matching Mechanism for Wireless Wake-up Communication

    IEICE Technical Committee on Information Networks

  • March 1,2011

    An Error-Tolerant ID-Matching Mechanism for Wireless Wake-up Communication

    IEICE General Conference

  • August 1,2007

    高信頼性システムのフォーマルメソッドの適用について

    IPA SEC「高信頼性システム開発手法調査検討会」

  • August 1,2007

    Dependable System Development using Formal Method

    IPA SEC Dependable System Technology Working Group (DSTWG)