Verification of Transaction Level Models of Embedded Systems
As complexity increases in embedded systems design, there is need for more time for verification purposes. For embedded systems, the only verification that can be done is running test cases, and the number of cases increases exponentially. In order to shorten this verification phase of the design, w...
Guardado en:
Autor principal: | Yu Lo, Lucky Lochi |
---|---|
Formato: | Online |
Lenguaje: | spa |
Publicado: |
Universidad de Costa Rica
2013
|
Materias: | |
Acceso en línea: | https://revistas.ucr.ac.cr/index.php/ingenieria/article/view/11662 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Generación Automática de Modelos a Nivel de Transferencia de Sistemas Incrustados para aplicaciones multimedios
por: Yu Lo, Lucky Lochi
Publicado: (2014) -
EXPERT SYSTEMS FOR MANUFACTURING
por: Chaves de Oña, Juan Carlos
Publicado: (2011) -
Vinculación de investigadores(as), instancias e instituciones en la evaluación del sistema educativo.
por: Rojas León, Alexis
Publicado: (2016) -
Incertidumbre asociada a la indicación de los instrumentos para pesar verificados
por: Becerra Santiago, Luis Omar, et al.
Publicado: (2021) -
Alfabetização e o sistema de escrita / Alfabetización y el sistema de escritura/ Literacy and the written system
por: Freitas de Jesus, Osvaldo
Publicado: (2008)