語系
Sangiovanni-Vincentelli, Alberto
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Analysis and simulation of noise in nonlinear electronic circuits and systems
by:
Sangiovanni-Vincentelli, Alberto; Demir, Alper
(書目-語言資料,印刷品)
Synchronous equivalence : formal methods for embedded systems
by:
Sangiovanni-Vincentelli, Alberto; Hsieh, Harry; Balarin, Felice
(書目-語言資料,印刷品)