skip to main content
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Formal Methods for Verification of Analog Circuits

Steinhorst, Sebastian ; Hedrich, Lars Feldmann, Peter ; Silveira, Luís Miguel ; Li, Peng

Simulation and Verification of Electronic and Biological Systems, p.173-192

Dordrecht: Springer Netherlands

Sem texto completo

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.