Special section on concurrent/real-time and hybrid systems: Theory and applications
スポンサーリンク
概要
- 論文の詳細を見る
- IEICE 電子情報通信学会の論文
- 2008-11-01
著者
関連論文
- Development and Evaluation of Symbolic Model-Checker Based on Approximation for Real-Time Systems
- Special section on concurrent/real-time and hybrid systems: Theory and applications