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)
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