名誉毀損・プライバシー侵害裁判に負けないための取材の心得 (特集 ジャーナリストに必要な法律の知識)
スポンサーリンク
概要
論文 | ランダム
- UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)
- シーケンス図からの時間性能モデル検査用オブザーバ生成手法(テスト・検証(一般セッション))
- 長い反例のみを持つ設計誤りに対する帰納的推論を用いた検証手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- モデル検査環境とプログラミング環境のラウンドトリップに向けて
- 確率的モデル検査ツールPRISMによるリアルタイム分散システムのネットワーク遅延を考慮した検証手法について