%0 Conference Paper %1 conf/iccps/ShoukryCWNSSHT16 %A Shoukry, Yasser %A Chong, Michelle %A Wakaiki, Masashi %A Nuzzo, Pierluigi %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %A Hespanha, João Pedro %A Tabuada, Paulo %B ICCPS %D 2016 %I IEEE Computer Society %K %P 29:1-29:10 %T SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. %U http://dblp.uni-trier.de/db/conf/iccps/iccps2016.html#ShoukryCWNSSHT16 %@ 978-1-5090-1772-0

@inproceedings{conf/iccps/ShoukryCWNSSHT16, added-at = {2023-12-13T04:58:02.000+0100}, author = {Shoukry, Yasser and Chong, Michelle and Wakaiki, Masashi and Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A. and Hespanha, João Pedro and Tabuada, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2ee5c39e3c8f16b76bd45455303e3c192/admin}, booktitle = {ICCPS}, crossref = {conf/iccps/2016}, ee = {http://dl.acm.org/citation.cfm?id=2984493}, interhash = {9cb0ac092f74a806681f64f81e3ce6c2}, intrahash = {ee5c39e3c8f16b76bd45455303e3c192}, isbn = {978-1-5090-1772-0}, keywords = {}, pages = {29:1-29:10}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T04:58:02.000+0100}, title = {SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks.}, url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2016.html#ShoukryCWNSSHT16}, year = 2016 }