銭谷 勉 | 国立循環器病研究せんたー研究所先進医工学部門画像診断医学部
スポンサーリンク
概要
論文 | ランダム
- ゲームシナリオのモデル検査 (人工知能基礎論研究会(第55回)特集「エンタテイメントコンピューティングの基礎と応用」および一般) -- (セッション(4)エンタテインメントコンピューティング(2))
- 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案(安全性及び一般)
- 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)