- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
The papers present a broad discussion on the design, analysis and verification of embedded and cyber-physical systems including design methodologies, verification, performance analysis, and real-time systems design.



