Error analysis of digital filters using HOL theorem proving
Behzad Akbarpour, Sofiène TaharVolume:
5
Year:
2007
Language:
english
Pages:
16
DOI:
10.1016/j.jal.2006.11.001
File:
PDF, 240 KB
english, 2007