システム基盤設計における仕様の抽出と記述--形式仕様記述と設計検証自動化の試み
スポンサーリンク
概要
論文 | ランダム
- 政策決定をめぐる政治--政治と経済との交叉
- プライムステーションを支える基盤技術 (特集1 デジタル放送から始まるブロードバンドそしてユビキタスへ--ブロードバンド/メディアミクス時代の新ビジネスに向けて)
- 7345 レジャーの実態とレジャー環境に関する基礎的研究IX : 公園における来演の主目的と実施レジャー
- 12 筑波研究学園都市居住者のレジャー観と日常的レジャーの行為特性(都市計画)
- ドリル加工における穴の位置精度に関する研究 : 食い付き時の挙動と工具剛性および先端形状の影響