散策のペテルブルグ(25)プールコヴォ高地

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
• 2.形式的手法による高信頼性組み込みソフトウェア開発(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
• 旧・伝染病隔離病棟と火葬場
• モデル検査法のソフトウェアデザイン検証への応用
• UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)

もっと見る

スポンサーリンク