- ホーム
- > 洋書
- > 英文書
- > Computer / Operating Systems
Full Description
The development of embedded systems offers a higher degree of abstraction, crucial to tackling the growing complexity and usage of model-driven approaches. ""Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation"" provides an overview on innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations. This dynamic compilation presents an authoritative reference collection to the most significant models of computation currently in use for embedded systems design.
Contents
Aspect-oriented approaches Behavioral modeling Design automation Embedded systems and technologies High-level design space exporation Model checking Model-based approaches Performance estimation of embedded systems Real-time embedded systems Timed automata for modeling