![](/img/cover-not-exists.png)
[IEEE 2014 Brazilian Symposium on Computing Systems Engineering (SBESC) - Manaus, Amazonas, Brazil (2014.11.3-2014.11.7)] 2014 Brazilian Symposium on Computing Systems Engineering - Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking
Bessa, Iury Valente de, Ismail, Hussama Ibrahim, Cordeiro, Lucas Carvalho, Filho, Joao Edgar ChavesYear:
2014
Language:
english
DOI:
10.1109/sbesc.2014.14
File:
PDF, 226 KB
english, 2014