%0 Conference Paper %1 conf/emsoft/GhoshL0D17 %A Ghosh, Saurav Kumar %A Lohar, Debasmita %A Das, Dibyendu %A Dey, Soumyajit %B EMSOFT Companion %D 2017 %I ACM %K dblp %P 2:1-2:2 %T Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2017c.html#GhoshL0D17 %@ 978-1-4503-5186-7

@inproceedings{conf/emsoft/GhoshL0D17, added-at = {2019-10-08T00:00:00.000+0200}, author = {Ghosh, Saurav Kumar and Lohar, Debasmita and Das, Dibyendu and Dey, Soumyajit}, biburl = {https://www.bibsonomy.org/bibtex/212cea27431fd16f5bd3572570781874b/dblp}, booktitle = {EMSOFT Companion}, crossref = {conf/emsoft/2017c}, ee = {https://doi.org/10.1145/3125503.3125569}, interhash = {009425c6188fb3d7be487fbd1ba049e7}, intrahash = {12cea27431fd16f5bd3572570781874b}, isbn = {978-1-4503-5186-7}, keywords = {dblp}, pages = {2:1-2:2}, publisher = {ACM}, timestamp = {2019-10-09T11:40:57.000+0200}, title = {Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2017c.html#GhoshL0D17}, year = 2017 }