共 50 条
- [41] SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2014, : 295 - 301
- [46] Fast fixed-point neural blind-deconvolution algorithm IEEE TRANSACTIONS ON NEURAL NETWORKS, 2004, 15 (02): : 455 - 459
- [47] Fixed-Point Methods in Parametric Model Checking INTELLIGENT SYSTEMS'2014, VOL 1: MATHEMATICAL FOUNDATIONS, THEORY, ANALYSES, 2015, 322 : 231 - 242
- [49] Fixed-point digital controller PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 2864 - 2869