Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
ACM International Conference Proceeding Series(1)
Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017(1)
Área temáticas
Ciencias de la computación(2)
Origen
scopus(2)
A layered formal framework for modeling of cyber-physical systems
Conference ObjectAbstract: Designing cyber-physical systems is highly challenging due to its manifold interdependent aspects suPalabras claves:Autores:Ingo Sander, Ungureanu G.Fuentes:scopusThroughput propagation in constraint-based design space exploration for mixed-criticality systems
Conference ObjectAbstract: When designing complex mixed-critical systems on multiprocessor platforms, a huge number of design aPalabras claves:constraint programming, Correct-by-construction, Design space exploration, Performance AnalysisAutores:Ingo Sander, Khalilzad N., Rosvall K., Ungureanu G.Fuentes:scopus