Embedded Systems: Design, Analysis and Verification

Embedded Systems: Design, Analysis and Verification

Chi tiết về thư mục
Tác giả khác:	Schirner
Định dạng:	Điện tử eBook
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg, 2013
Phiên bản:	1
Những chủ đề:	Electronic books
Truy cập trực tuyến:	Full text available on Springer Off-campus access

Những quyển sách tương tự

Design Verification with e
Bằng: Samir Palnitkar

Embedded System Design
Bằng: Marwedel
Được phát hành: (2021)

Embedded Control System Design
Bằng: Forrai
Được phát hành: (2013)

Embedded Systems Design with FPGAs
Được phát hành: (2013)

Design Automation for Embedded Systems

The art of designing embedded systems /
Bằng: Ganssle, Jack G.
Được phát hành: (2008)

Automated Technology for Verification and Analysis
Được phát hành: (2013)

Runtime Verification
Được phát hành: (2013)

Runtime Verification
Được phát hành: (2013)

Embedded system design : a unified hardware/software introduction /
Bằng: Vahid, Frank
Được phát hành: (2002)

Specification, Verification and Design Languages, FDL, Forum on

Embedded Linux system design and development /
Bằng: Raghavan, P. (Pichai), 1973-
Được phát hành: (2006)

Proceedings of the symposium on Testing, analysis, and verification

Designing embedded systems with PIC microcontrollers : principles and applications /
Bằng: Wilmshurst, Tim
Được phát hành: (2010)

Integrated Circuits, Design, and Verification (ICDV), International Conference on

Computer Aided Verification
Được phát hành: (2013)

Computer Aided Verification
Được phát hành: (2019)

Computer Aided Verification
Được phát hành: (2019)

Computer Aided Verification
Được phát hành: (2020)

Computer Aided Verification
Được phát hành: (2020)

Computer Aided Verification
Được phát hành: (2021)

Computer Aided Verification
Được phát hành: (2021)

Computer Aided Verification
Được phát hành: (2022)

Computer Aided Verification
Được phát hành: (2022)

Computer Aided Verification
Được phát hành: (2018)

Computer Aided Verification
Được phát hành: (2018)

Embedded systems : a contemporary design tool /
Bằng: Peckol, James K.
Được phát hành: (2008)

Model-Based Design of Adaptive Embedded Systems
Được phát hành: (2013)

Embedded microcontrollers and processor design /
Bằng: Osborn, Greg
Được phát hành: (2012)

Optical System Alignment, Tolerancing, and Verification XII

Optical System Alignment, Tolerancing, and Verification IX

Optical System Alignment, Tolerancing, and Verification VIII

Optical System Alignment, Tolerancing, and Verification XIII

Optical System Alignment, Tolerancing, and Verification XI

Optical System Alignment, Tolerancing, and Verification X

Optical System Alignment, Tolerancing, and Verification VII

Optical System Alignment, Tolerancing, and Verification VI

Optical System Alignment, Tolerancing, and Verification V

Optical System Alignment, Tolerancing, and Verification IV

Optical System Alignment, Tolerancing, and Verification XIV