堀 智仁 | (独)労働安全衛生総合研究所 建設安全研究グループ
スポンサーリンク
概要
論文 | ランダム
- シーケンス図からの時間性能モデル検査用オブザーバ生成手法(テスト・検証(一般セッション))
- 長い反例のみを持つ設計誤りに対する帰納的推論を用いた検証手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- モデル検査環境とプログラミング環境のラウンドトリップに向けて
- 確率的モデル検査ツールPRISMによるリアルタイム分散システムのネットワーク遅延を考慮した検証手法について
- ホームネットワークシステムにおける連携サービスのモデル検査による検証