Mostrando 2 resultados de: 2
Filtros aplicados
Área temáticas
Ciencias de la computación(2)
Física aplicada(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
An extensible modeling methodology for embedded and cyber-physical system design
ArticleAbstract: Models are important tools to manage the increasing complexity of system design. The choice of a modPalabras claves:cyber-physical systems, formal modeling, model introspection, models of computation, SystemCAutores:Ingo Sander, Niaki S.H.A.Fuentes:scopusForSyDe: System design using a functional language and models of computation
Book PartAbstract: The ForSyDe methodology aims to push system design to a higher level of abstraction by combining thePalabras claves:Autores:Ingo Sander, Jantsch A., Niaki S.H.A.Fuentes:scopus