A Bit Too Precise? Bounded Verification of Quantized Digital Filters
From MaRDI portal
Publication:2894264
DOI10.1007/978-3-642-28756-5_4zbMath1352.68152OpenAlexW2116990643MaRDI QIDQ2894264
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
Publication date: 29 June 2012
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_4
This page was built for publication: A Bit Too Precise? Bounded Verification of Quantized Digital Filters