Mostrando 3 resultados de: 3
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)
Proceedings of the 2019 Forum on Specification and Design Languages, FDL 2019(1)
Área temáticas
Sistemas(2)
Ciencias de la computación(1)
Métodos informáticos especiales(1)
Otras ramas de la ingeniería(1)
Principios generales de matemáticas(1)
Área de conocimiento
Simulación por computadora(2)
Ingeniería electrónica(1)
Modelo matemático(1)
Optimización matemática(1)
Procesamiento de señales(1)
Origen
scopus(3)
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:scopusFormal design, co-simulation and validation of a radar signal processing system
Conference ObjectAbstract: With the ever increasing complexity in safety-critical and performance-demanding application domainsPalabras claves:Design methodology, Model checking, Radar, Simulation, Synthesis, system design languageAutores:Ahlander A., Ingo Sander, Söderquist I., Sundstrom T., 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