田口 康 | 文部科学省 研究開発局 原子力計画課(研究振興局 研究環境・産業連携課)
スポンサーリンク
概要
論文 | ランダム
- 拡張時間オートマトン群による実時間システムの記述および検証
- Systematic evaluation of fault trees using real-time model checker UPPAAL
- UPPAAL in a nutshell
- Uppaal-a tool suite for automatic verification of real-time systems
- タイトル無し