Ponencia
Symbolic analysis tools-the state of the art
Autor/es | Fernández Fernández, Francisco Vidal
Rodríguez Vázquez, Ángel Benito |
Departamento | Universidad de Sevilla. Departamento de Electrónica y Electromagnetismo |
Fecha de publicación | 1996 |
Fecha de depósito | 2019-11-28 |
Publicado en |
|
ISBN/ISSN | 0-7803-3073-0 |
Resumen | This paper reviews the main last generation symbolic analyzers, comparing them in terms of functionality, pointing out also their shortcomings. The state of the art in this field is also studied, pointing out directions for future research. |
Cita | Fernández Fernández, F.V. y Rodríguez Vázquez, Á.B. (1996). Symbolic analysis tools-the state of the art. En IEEE International Symposium on Circuits and Systems (ISCAS) (798-801), Atlanta, USA: Institute of Electrical and Electronics Engineers. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
SYMBOLIC ANALYSIS TOOLS.pdf | 468.9Kb | [PDF] | Ver/ | |