open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Área temáticas: "Ingeniería y operaciones afines"
Subtipo de publicación
Article
(1)
Publisher
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
(1)
Área temáticas
Ciencias de la computación
(1)
Programación informática, programas, datos, seguridad
(1)
Área de conocimiento
Ciencias de la computación
(1)
Año de Publicación
2008
(1)
Origen
scopus
(1)
Palabras Claves
Design refinement
(1)
Formal verification
(1)
Synchronization
(1)
System design
(1)
Application and verification of local nonsemantic-preserving transformations in system design
Article
Abstract:
Due to the increasing abstraction gap between the initial system model and a final implementation, t
Palabras claves:
Design refinement, Formal verification, Synchronization, System design
Autores:
Ingo Sander, Jantsch A., Raudvere T.
Fuentes:
scopus
1
1
