プロトコルマシンの等価性証明の一方法

スポンサーリンク

概要

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

著者

• 二宮 清

  ダイキン工業(株)

関連論文

• イノベーションとマネジメント(研究開発のマネジメント)
• 通信プロトコルのエラーリカバリ性自動検証の一方式
• プロトコルマシンの等価性証明の一方法

スポンサーリンク