Error analysis of digital filters using HOL theorem proving release_gineqyl46nduni7vqjbm4cahmq

by Behzad Akbarpour, Sofiène Tahar

Published in Journal of Applied Logic by Elsevier BV.

2007   p651-666

Archived Files and Locations

application/pdf  203.8 kB
file_ezai4rqrajh6noaz6g6rofnoly
spectrum.library.concordia.ca (repository)
web.archive.org (webarchive)
application/pdf  245.3 kB
file_3tk4xknhk5fc3fxeuudzxgsqx4
web.archive.org (webarchive)
publisher-connector.core.ac.uk (web)
web.archive.org (webarchive)
hvg.ece.concordia.ca (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2007
Language   en ?
Journal Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  1570-8683
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d2c2ae34-3251-4cca-9a73-1a9da79b1526
API URL: JSON