東野 輝夫 | 大阪大 基礎工

スポンサーリンク

概要

• 東野輝夫の詳細を見る
• 同名の論文著者
• 大阪大 基礎工の論文著者

関連著者

• 東野 輝夫

  大阪大 基礎工

著作論文

• 代数的に記述された通信プロトコルの動的性質の検証
• 代数的仕様検証支援系及びそれを用いた検証例
• 代数的に記述されたHDLCプロトコルの検証
• ト-クンリング方式LANの代数的手法による「安全性」と「相互排他性」の検証

スポンサーリンク