Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It disc
β¦ LIBER β¦
The Discipline of Embedded Systems Design
β Scribed by Henzinger, T.A.; Sifakis, J.
- Book ID
- 114576379
- Publisher
- IEEE
- Year
- 2007
- Tongue
- English
- Weight
- 747 KB
- Volume
- 40
- Category
- Article
- ISSN
- 0018-9162
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Embedded System Design || System Design
β
Gajski, Daniel D.; Abdi, Samar; Gerstlauer, Andreas; Schirner, Gunar
π
Article
π
2009
π
Springer US
π
English
β 584 KB
Embedded Control System Design || Embedd
β
Forrai, Alexandru
π
Article
π
2013
π
Springer Berlin Heidelberg
π
German
β 416 KB
Control system design is a challenging task for practicing engineers. It requires knowledge of different engineering fields, a good understanding of technical specifications and good communication skills. The current book introduces the reader into practical control system design, bridging Β the gap
Grammar-based design of embedded systems
β
Johnny Γberg; Mattias O'Nils; Axel Jantsch; Adam Postula; Ahmed Hemani
π
Article
π
2001
π
Elsevier Science
π
English
β 629 KB
Design validation of embedded dependable
β
Bondavalli, A.; Fantechi, A.; Latella, D.; Simoncini, L.
π
Article
π
2001
π
IEEE
π
English
β 116 KB
Probabilistic design of multimedia embed
β
Hua, Shaoxiong; Qu, Gang; Bhattacharyya, Shuvra S.
π
Article
π
2007
π
Association for Computing Machinery
π
English
β 361 KB
Fast and Effective Embedded Systems Desi
β
Toulson, Rob
π
Article
π
2012
π
Elsevier
β 342 KB