Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Klemmer, Lucas.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Versatile hardware analysis techniquesfrom waveform-based analysis to formal verification / by: Grosse, Daniel.; Klemmer, Lucas.; SpringerLink (Online service) (Electronic resources)

Subjects

Electronics Design and Verification. Formal methods (Computer science) Logic Design. Embedded Systems. RISC microprocessors.

Change password

Login