片平 可也 | 片平医院

スポンサーリンク

概要

• 片平 可也の詳細を見る
• 同名の論文著者
• 片平医院の論文著者

論文 | ランダム

• ソフトウェアの信頼性
• 時間順序機械に基づくプロトコルの自動検証方式
• ソフトウェア信頼性モデルと評価 (ソフトウェア信頼性技術)
• 高速タイミング検証方式の実現とその効率評価
• 構成要素の独立性を利用した高速タイミング検証方式

もっと見る

スポンサーリンク