Automatic generation and verification of transaction level models - Lo Chi Yu Lo, Lucky (Irvine, Calif., 2009)
Tesis (doctorado)--University of California, 2009
Keywords: DISEÑO DE SISTEMAS; ANALISIS DE SISTEMAS; ELECTRONICA DIGITAL