システム基盤設計における仕様の抽出と記述--形式仕様記述と設計検証自動化の試み

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• シリーズ「若手のページ」「水・水学会の水を泳いで 〜 2001年研究発表会に思うこと 〜」
• 大断面トンネル施工時の切羽安定対策の検討--斜めボルト併用上半補助ベンチ付き全断面掘削工法
• TBM掘削時のカッタトルクの変動に着目した切羽評価技術
• TBMの掘削抵抗デ-タによる岩盤評価システムの開発
• 心嚢穿刺・ドレナージ (外科救急処置アトラス) -- (呼吸・循環系の術技)

もっと見る

スポンサーリンク