![](/img/cover-not-exists.png)
[IEEE IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society - Dallas, TX, USA (2014.10.29-2014.11.1)] IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society - SMT-based bounded model checking of fixed-point digital controllers
Bessa, Iury, Abreu, Renato, Filho, Joao Edgar, Cordeiro, LucasYear:
2014
DOI:
10.1109/iecon.2014.7048514
File:
PDF, 308 KB
2014