Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
修 士 論 文 概 要 書
【ご案内】新情報システム学体系化研究・第 7 回講演会の開催
徳本晋さんへのインタビュー
通信制御ソフトウェア開発における状態遷移表の実装効率化へ
附属書2（参考） UML表記法
アスペクト指向に基づいたUML Components拡張
設計モデル検証(基礎編)
ModelChecking技術の 専門性の排除とその効用
研究終了報告書 中島 震 （国立情報学研究所、教授）
モデル検査とテストによる車載オペレーティングシステムの検証
輪講:The SPIN Model Checker(第 3 章)
