Login

Radojevic, Ivan

Embedded Systems Design Based on Formal Models of Computation

Radojevic, Ivan - Embedded Systems Design Based on Formal Models of Computation, ebook

152,50€

Ebook, PDF with Adobe DRM
ISBN: 9789400715943
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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)
 
Publisher
Springer
Publication year
2011
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9789400715943

Similar titles