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
- Buscando por
- emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
- Mostrar o que foi encontrado até o momento