Embedded Systems: Design, Analysis and Verification

Embedded Systems: Design, Analysis and Verification

書目詳細資料
其他作者:	Schirner
格式:	電子電子書
語言:	English
出版:	Springer Berlin Heidelberg, 2013
版:	1
主題:	Electronic books
在線閱讀:	Full text available on Springer Off-campus access

相似書籍

Design Verification with e
由: Samir Palnitkar

Embedded System Design
由: Marwedel
出版: (2021)

Embedded Control System Design
由: Forrai
出版: (2013)

Embedded Systems Design with FPGAs
出版: (2013)

Design Automation for Embedded Systems

The art of designing embedded systems /
由: Ganssle, Jack G.
出版: (2008)

Automated Technology for Verification and Analysis
出版: (2013)

Runtime Verification
出版: (2013)

Runtime Verification
出版: (2013)

Embedded system design : a unified hardware/software introduction /
由: Vahid, Frank
出版: (2002)

Specification, Verification and Design Languages, FDL, Forum on

Embedded Linux system design and development /
由: Raghavan, P. (Pichai), 1973-
出版: (2006)

Proceedings of the symposium on Testing, analysis, and verification

Computer Aided Verification
出版: (2013)

Computer Aided Verification
出版: (2019)

Computer Aided Verification
出版: (2019)

Computer Aided Verification
出版: (2020)

Computer Aided Verification
出版: (2020)

Computer Aided Verification
出版: (2021)

Computer Aided Verification
出版: (2021)

Computer Aided Verification
出版: (2022)

Computer Aided Verification
出版: (2022)

Computer Aided Verification
出版: (2018)

Computer Aided Verification
出版: (2018)

Designing embedded systems with PIC microcontrollers : principles and applications /
由: Wilmshurst, Tim
出版: (2010)

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

Embedded systems : a contemporary design tool /
由: Peckol, James K.
出版: (2008)

Model-Based Design of Adaptive Embedded Systems
出版: (2013)

Embedded microcontrollers and processor design /
由: Osborn, Greg
出版: (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