岩本 知広 | 熊本大　機械システム科

スポンサーリンク

概要

• 岩本 知広の詳細を見る
• 同名の論文著者
• 熊本大　機械システム科の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク