1 research outputs found
Bounded model checking for fixed-point digital filters
- Author
- A Biere
- A Cox
- A Cox
- AV Oppenheim
- B Akbarpour
- CK Ahn
- CK Ahn
- CW Barrett
- D Beyer
- D Luengo
- D Menard
- E Auer
- E Clarke
- Eddie B. de Lima Filho
- EM Shafic
- F Merz
- GA Constantinides
- H Hanselmann
- H Ismail
- H Kwan
- HN Nguyen
- I Bessa
- Institute of Electrical and Electronics Engineers
- J Campo
- J Carletta
- J Carlson
- J Dattorro
- J Morse
- J Morse
- JA López
- JG Proakis
- K Jensen
- L Cordeiro
- L Cordeiro
- L Jackson
- LB Jackson
- LM de Mouram
- Lucas C. Cordeiro
- M Gevers
- M Kawamata
- Mikhail Y. R. Gadelha
- N Henzel
- P Bauer
- PP Vaidyanathan
- PSR Diniz
- R Brummayer
- R Könighofer
- RB Abreu
- Renato B. Abreu
- RK Brayton
- S Kim
- S Yamaki
- SR Parker
- T Brubaker
- T Hilaire
- T Tripakis
- TA Davis
- TACM Claasen
- V Balakrishnan
- W Mills
- W Sung
- Waldir S. da Silva
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study