- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
Bridging the gaps between the disciplines of model-based design, real-time analysis and model-driven development, this book demonstrates techniques for modeling, verifying and validating the behavior and performance of complex distributed embedded systems.



