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...
Guardat en:
| Autor principal: | Yu Lo, Lucky Lochi |
|---|---|
| Format: | Online |
| Idioma: | spa |
| Publicat: |
Universidad de Costa Rica
2013
|
| Matèries: | |
| Accés en línia: | https://revistas.ucr.ac.cr/index.php/ingenieria/article/view/11662 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
-
Generación Automática de Modelos a Nivel de Transferencia de Sistemas Incrustados para aplicaciones multimedios
per: Yu Lo, Lucky Lochi
Publicat: (2014) -
EXPERT SYSTEMS FOR MANUFACTURING
per: Chaves de Oña, Juan Carlos
Publicat: (2011) -
Vinculación de investigadores(as), instancias e instituciones en la evaluación del sistema educativo.
per: Rojas León, Alexis
Publicat: (2016) -
Incertidumbre asociada a la indicación de los instrumentos para pesar verificados
per: Becerra Santiago, Luis Omar, et al.
Publicat: (2021) -
Alfabetização e o sistema de escrita / Alfabetización y el sistema de escritura/ Literacy and the written system
per: Freitas de Jesus, Osvaldo
Publicat: (2008)
