新島 端夫 | 微生物化学研究所 群大医学部微生物 岡山大医学部泌尿器科
スポンサーリンク
概要
論文 | ランダム
- 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- 2.形式的手法による高信頼性組み込みソフトウェア開発(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- 旧・伝染病隔離病棟と火葬場
- モデル検査法のソフトウェアデザイン検証への応用
- UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)