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