Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Ciencias de la computación(2)
Ingeniería y operaciones afines(1)
Programación informática, programas, datos, seguridad(1)
Objetivos de Desarrollo Sostenible
ODS 8: Trabajo decente y crecimiento económico(2)
ODS 9: Industria, innovación e infraestructura(2)
ODS 12: Producción y consumo responsables(1)
ODS 17: Alianzas para lograr los objetivos(1)
Origen
scopus(2)
Application and verification of local nonsemantic-preserving transformations in system design
ArticleAbstract: Due to the increasing abstraction gap between the initial system model and a final implementation, tPalabras claves:Design refinement, Formal verification, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.Fuentes:scopusSystem Modeling and Transformational Design Refinement in ForSyDe
ArticleAbstract: The scope of the Formal System Design (ForSyDe) methodology is high-level modeling and refinement ofPalabras claves:Formal Methods, Hardware/software codesign, Modeling, System-on-a-chip (SoC)Autores:Ingo Sander, Jantsch A.Fuentes:scopus