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)
Área temáticas
Ciencias de la computación(1)
Métodos informáticos especiales(1)
Principios generales de matemáticas(1)
Sistemas(1)
Área de conocimiento
Modelo matemático(1)
Optimización matemática(1)
Simulación por computadora(1)
Teoría de control(1)
Origen
scopus(2)
An algebra for modeling continuous time systems
Conference ObjectAbstract: Advancements on analog integrated design have led to new possibilities for complex systems combiningPalabras 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