Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho. Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. In 2014 Brazilian Symposium on Computing Systems Engineering, SBESC 2014, Manaus, Amazonas, Brazil, November 3-7, 2014. pages 49-54, IEEE Computer Society, 2014. [doi]
@inproceedings{BessaICF14,
title = {Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking},
author = {Iury Valente de Bessa and Hussama Ibrahim Ismail and Lucas Carvalho Cordeiro and Joao Edgar Chaves Filho},
year = {2014},
doi = {10.1109/SBESC.2014.14},
url = {http://dx.doi.org/10.1109/SBESC.2014.14},
researchr = {https://researchr.org/publication/BessaICF14},
cites = {0},
citedby = {0},
pages = {49-54},
booktitle = {2014 Brazilian Symposium on Computing Systems Engineering, SBESC 2014, Manaus, Amazonas, Brazil, November 3-7, 2014},
publisher = {IEEE Computer Society},
isbn = {978-1-4799-8559-3},
}