Verification of transaction level models of embedded systems - Lochi Yu Lo, Lucky (2013)
Keywords: PROCESAMIENTO DE SEÑALES -- MODELOS MATEMATICOS