翁 崇恩 | 島根大学理学部情報科学科

スポンサーリンク

概要

• 翁崇恩の詳細を見る
• 同名の論文著者
• 島根大学理学部情報科学科の論文著者

関連著者

• 山根 智

  島根大学理学部情報科学科

• 翁 崇恩

  島根大学理学部情報科学科

• 川平 靖博

  島根大学理学部情報科学

• 将 海雲

  元南京通信研究所

著作論文

• 実時間分散ソフトウェアの可能性と公平性の検証
• 拡張リアルタイム時相論理による分散ソフトウェアの形式的検証
• 分散ソフトウェアのタイミング検証

スポンサーリンク