Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(1)
Proceedings -Design, Automation and Test in Europe, DATE(1)
Área temáticas
Ciencias de la computación(2)
Física aplicada(2)
Actuaciones públicas(1)
Métodos informáticos especiales(1)
Área de conocimiento
Ciencias de la computación(1)
Ingeniería de software(1)
Simulación por computadora(1)
Software(1)
Origen
scopus(2)
Development and application of design transformations in ForSyDe
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specificaPalabras claves:Autores:Ingo Sander, Jantsch A., Zhonghai L.Fuentes:scopusVerification of Design Decisions in ForSyDe
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specificaPalabras claves:Design refinement, System design, VerificationAutores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopus