Embedded Systems Design Based on Formal Models of Computation - Softcover

Radojevic, Ivan; Salcic, Zoran

 
9789400715950: Embedded Systems Design Based on Formal Models of Computation
Softcover
ISBN 10: 9400715951 ISBN 13: 9789400715950
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
9400715951
ISBN 13 
9789400715950
Binding
Paperback

Other Popular Editions of the Same Title

9789400715936: Embedded Systems Design Based on Formal Models of Computation

Featured Edition

ISBN 10:  9400715935 ISBN 13:  9789400715936
Publisher: Springer, 2011
Hardcover