日比野 新 | 名古屋リハ
スポンサーリンク
概要
論文 | ランダム
- 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法
- Webサービスにおける安全性とセキュリティの解析