Natividad Martínez Madrid, Andrés Marín López, Sergip Deprés Díaz, Carlos Delgado Kloos, José Luis Fernández Sánchez
En este artículo abordamos el problema del co-diseño de sistemas hardaware/software utilizando métodos formales y técnicas de resolución de riesgos. La metodología se apoya en traductores de LOTOS a C y a VHDL, el último de los cuales presentamos y comparamos con otra herramienta comercial.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados