Symbolic analysis tools-the state of the art

Fernández Fernández, Francisco Vidal; Rodríguez Vázquez, Ángel Benito

doi:10.1109/ISCAS.1996.542145

Ponencia

dc.creator	Fernández Fernández, Francisco Vidal	es
dc.creator	Rodríguez Vázquez, Ángel Benito	es
dc.date.accessioned	2019-11-28T14:19:50Z
dc.date.available	2019-11-28T14:19:50Z
dc.date.issued	1996
dc.identifier.citation	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.
dc.identifier.isbn	0-7803-3073-0	es
dc.identifier.uri	https://hdl.handle.net/11441/90613
dc.description.abstract	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.	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Institute of Electrical and Electronics Engineers	es
dc.relation.ispartof	IEEE International Symposium on Circuits and Systems (ISCAS) (1996), p 798-801
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Symbolic analysis tools-the state of the art	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/acceptedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Electrónica y Electromagnetismo	es
dc.relation.publisherversion	https://doi.org/10.1109/ISCAS.1996.542145	es
dc.identifier.doi	10.1109/ISCAS.1996.542145	es
idus.format.extent	4 p.	es
dc.publication.initialPage	798	es
dc.publication.endPage	801	es
dc.eventtitle	IEEE International Symposium on Circuits and Systems (ISCAS)	es
dc.eventinstitution	Atlanta, USA	es

Ficheros	Tamaño	Formato	Ver	Descripción
SYMBOLIC ANALYSIS TOOLS.pdf	468.9Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Instituto de Microelectrónica de Sevilla (IMSE-CNM))

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional