Special Section on Concurrent System Technology
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人電子情報通信学会の論文
- 2003-11-01
著者
関連論文
- Software Prototyping with Reusable Components
- Practical Program Validation for State-Based Reactive Concurrent Systems : Harmonization of Simulation and Verification
- Special Section on Concurrent System Technology
- A High-Level Petri Net for Accurate Modeling of Reactive and Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)