Mostrando 2 resultados de: 2
Subtipo de publicación
Conference Object(2)
Publisher
IECON Proceedings (Industrial Electronics Conference)(1)
Proceedings -Design, Automation and Test in Europe, DATE(1)
Área temáticas
Antiguo Testamento (Tanaj)(1)
Ciencias de la computación(1)
Electricidad y electrónica(1)
Escuelas y sus actividades; educación especial(1)
Física aplicada(1)
Área de conocimiento
Ingeniería de software(1)
Origen
scopus(2)
On more dependable assertion-based verification
Conference ObjectAbstract: The increased design complexity of analog/mixed signal (AMS) systems puts a high pressure on researcPalabras claves:Autores:Grimm C., Javier Moreno Molina, Pan X., Radojicic C.Fuentes:scopusSemi-symbolic analysis of mixed-signal systems including discontinuities
Conference ObjectAbstract: The paper describes an approach for semi-symbolic analysis of mixed-signal systems that contain discPalabras claves:Autores:Grimm C., Javier Moreno Molina, Pan X., Radojicic C.Fuentes:scopus