Related Books

Iterative Design Space Exploration and Robustness Optimization for Embedded Systems
Language: en
Pages: 231

Iterative Design Space Exploration and Robustness Optimization for Embedded Systems

Authors: Arne Hamann
Categories:
Type: BOOK - Published: 2008 - Publisher: Cuvillier Verlag

DOWNLOAD EBOOK

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Language: en
Pages: 874

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2016-10-04 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,
Dissertation Abstracts International
Language: en
Pages: 924

Dissertation Abstracts International

Authors:
Categories: Dissertations, Academic
Type: BOOK - Published: 2007 - Publisher:

DOWNLOAD EBOOK

Reliability and Robust Design in Automotive Engineering 2006
Language: en
Pages: 562

Reliability and Robust Design in Automotive Engineering 2006

Authors:
Categories: Automobile
Type: BOOK - Published: 2006 - Publisher:

DOWNLOAD EBOOK

Collection of papers from the "Reliability & Robust Design in Automotive Engineering" session of the SAE 2006 World Congress, held April 3-6 in Detroit, Michiga
Handbook of Hardware/Software Codesign
Language: en
Pages: 0

Handbook of Hardware/Software Codesign

Authors: Soonhoi Ha
Categories: Technology & Engineering
Type: BOOK - Published: 2017-10-11 - Publisher: Springer

DOWNLOAD EBOOK

This handbook presents fundamental knowledge on the hardware/software (HW/SW) codesign methodology. Contributing expert authors look at key techniques in the de