論文relation
コンシェルジュサーバを持つ電話システムの形式的検証
スポンサーリンク
概要
論文の詳細を見る
2012-03-01
著者
前田 彩
愛知工業大学情報科学部情報科学科
河辺 義信
愛知工業大学 情報科学部 情報科学科
黒野 恵人
愛知工業大学 情報科学部 情報科学科
関連論文
電子投票プロトコルに対する無証拠性の定理証明
コンシェルジュサーバを持つ電話システムの形式的検証
AT-1-2 Larch Proverによる論理パズルの解法(AT-1.システム数理における様々なツールの紹介,チュートリアルセッション,ソサイエティ企画)
コンシェルジュサーバを持つ電話システムの形式的検証
スポンサーリンク
論文relation | CiNii API
論文
論文著者
博士論文
研究課題
研究者
図書
論文
著者
お問い合わせ
プライバシー