Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
ACM Transactions on Embedded Computing Systems(1)
Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018(1)
Origen
scopus(2)
Bridging discrete and continuous time models with atoms
Conference ObjectAbstract: Recent trends in replacing traditionally digital components with analog counterparts in order to ovePalabras claves:Autores:Ingo Sander, Medeiros J.E.G.D., Ungureanu G.Fuentes:scopusForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers
ArticleAbstract: We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined design of comPalabras claves:cyber-physical systems, Design methodology, Modeling, models of computation, Simulation, Synthesis, system design language, ValidationAutores:Ahlander A., Ingo Sander, Medeiros J.E.G.D., Söderquist I., Sundstrom T., Ungureanu G.Fuentes:scopus