Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
モデルの抽象化と状態爆発の対策法 - ディペンダブル・システムのための
通信制御ソフトウェア開発における状態遷移表の実装効率化へ
フラッグ戦
ModelChecking技術の 専門性の排除とその効用
研究終了報告書 中島 震 （国立情報学研究所、教授）
