Radojevic, Ivan
Embedded Systems Design Based on Formal Models of Computation
Table of contents
1. Introduction
Ivan Radojevic, Zoran Salcic
2. Models of Computation and Languages
Ivan Radojevic, Zoran Salcic
3. Specification in DFCharts
Ivan Radojevic, Zoran Salcic
4. Semantics of DFCharts
Ivan Radojevic, Zoran Salcic
5. DFCharts in SystemC and Esterel
Ivan Radojevic, Zoran Salcic
6. Java Environment for DFCharts
Ivan Radojevic, Zoran Salcic
7. Heterogeneous Reactive Architectures of Embedded Systems
Ivan Radojevic, Zoran Salcic
8. Implementation of DFCharts on HiDRA
Ivan Radojevic, Zoran Salcic
9. Conclusions
Ivan Radojevic, Zoran Salcic
Keywords: Engineering, Engineering, general, Special Purpose and Application-Based Systems
- Author(s)
- Radojevic, Ivan
- Salcic, Zoran
- Publisher
- Springer
- Publication year
- 2011
- Language
- en
- Edition
- 1
- Page amount
- 15 pages
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9789400715943
