代数的仕様検証支援系及びそれを用いた検証例

スポンサーリンク

概要

• 論文の詳細を見る
• 電子通信学会の論文

著者

• 東野 輝夫

  大阪大 基礎工

関連論文

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

スポンサーリンク