Find a copy in the library
Finding libraries that hold this item...
Details
| Document Type: | Book |
|---|---|
| All Authors / Contributors: |
Ivan Radojevic |
| ISBN: | 9400715935 9789400715936 |
| OCLC Number: | 795827094 |
| Description: | xv, 183 p. ; 24 cm. |
| Contents: | 1. Introduction.- 2. Models of Computation and Languages.- 3. Specification in DFCharts.- 4. Semantics of DFCharts.- 5. DFCharts in SystemC and Esterel.- 6. Java Environment for DFCharts.- 7. Heterogeneous Reactive Architectures of Embedded Systems.- 8. Implementation of DFCharts on HiDRA.- 9. Conclusions.- 10. References. |
Reviews
Editorial reviews
Publisher Synopsis
From the reviews: "The book under review provides a wide overview of issues related to the design of embedded systems, i.e., units usually embedded inside a larger system. ... The aspects addressed in this book are up-to-date due to their recent utilization in many areas including, e.g., communications, electronics, or biomedicine. ... This book is undoubtedly dedicated to practitioners willing to include formal models of computation into the process of embedded systems design -- the issue being especially important in large scale or critical systems." (Jozef Wozniak, Zentralblatt MATH, Vol. 1236, 2012) Read more...
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Embedded systems design based on formal models of computation.".
Be the first.
