%0 Conference Paper %1 conf/sbesc/BessaICF14 %A de Bessa, Iury Valente %A Ismail, Hussama Ibrahim %A Cordeiro, Lucas Carvalho %A Filho, Joao Edgar Chaves %B SBESC %D 2014 %I IEEE Computer Society %K dblp %P 49-54 %T Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/sbesc/sbesc2014.html#BessaICF14 %@ 978-1-4799-8559-3

@inproceedings{conf/sbesc/BessaICF14, added-at = {2023-03-23T00:00:00.000+0100}, author = {de Bessa, Iury Valente and Ismail, Hussama Ibrahim and Cordeiro, Lucas Carvalho and Filho, Joao Edgar Chaves}, biburl = {https://www.bibsonomy.org/bibtex/2fa071672b4401d9575f7200d6bc1ffe5/dblp}, booktitle = {SBESC}, crossref = {conf/sbesc/2014}, ee = {https://doi.ieeecomputersociety.org/10.1109/SBESC.2014.14}, interhash = {d068568c609e2a57f7d583dc49e20997}, intrahash = {fa071672b4401d9575f7200d6bc1ffe5}, isbn = {978-1-4799-8559-3}, keywords = {dblp}, pages = {49-54}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:10:41.000+0200}, title = {Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/sbesc/sbesc2014.html#BessaICF14}, year = 2014 }