小柴 博 | (株) ミドリ十字安全性研究所

スポンサーリンク

概要

• 小柴 博の詳細を見る
• 同名の論文著者
• (株) ミドリ十字安全性研究所の論文著者

論文 | ランダム

• あるクラスの拡張有限状態機械におけるレジスタ操作の試験系列の生成手法
• 大都市高校生の学習と生活 : パーソナル携帯メディアとアルバイトに着目して(研究発表III III-1部会 青少年)
• 拡張有限状態機械の適合性試験の一手法 : レジスタ代入の正しさの試験
• 拡張有限状態機械でモデル化された通信プロトコルの生存性の検証法
• 拡張有限状態機械モデルの通信プロトコルのlivenessの検証法

もっと見る

スポンサーリンク