%0 Conference Paper %1 conf/greencom/MaYXXYS10 %A Ma, Longhua %A Yuan, Tengkai %A Xia, Feng %A Xu, Ming %A Yao, Jun %A Shao, Meng %B GreenCom/CPSCom %D 2010 %E Zhu, Peidong %E Wang, Lizhe %E Xia, Feng %E Chen, Huajun %E McLoughlin, Ian %E Tsao, Shiao-Li %E Sato, Mitsuhisa %E Chai, Sun-Ki %E King, Irwin %I IEEE Computer Society %K %P 516-520 %T A High-Confidence Cyber-Physical Alarm System: Design and Implementation. %U http://dblp.uni-trier.de/db/conf/greencom/greencom2010.html#MaYXXYS10 %@ 978-1-4244-9779-9

@inproceedings{conf/greencom/MaYXXYS10, added-at = {2023-12-12T22:25:01.000+0100}, author = {Ma, Longhua and Yuan, Tengkai and Xia, Feng and Xu, Ming and Yao, Jun and Shao, Meng}, biburl = {https://www.bibsonomy.org/bibtex/271ae9099e4d0cb15322b6d16e545871b/admin}, booktitle = {GreenCom/CPSCom}, crossref = {conf/greencom/2010}, editor = {Zhu, Peidong and Wang, Lizhe and Xia, Feng and Chen, Huajun and McLoughlin, Ian and Tsao, Shiao-Li and Sato, Mitsuhisa and Chai, Sun-Ki and King, Irwin}, ee = {http://doi.ieeecomputersociety.org/10.1109/GreenCom-CPSCom.2010.75}, interhash = {4a08cbdbf4b689f1ddbb029b274b512a}, intrahash = {71ae9099e4d0cb15322b6d16e545871b}, isbn = {978-1-4244-9779-9}, keywords = {}, pages = {516-520}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T22:25:01.000+0100}, title = {A High-Confidence Cyber-Physical Alarm System: Design and Implementation.}, url = {http://dblp.uni-trier.de/db/conf/greencom/greencom2010.html#MaYXXYS10}, year = 2010 }