Xi Zheng. Physically informed assertions for cyber physical systems development and debugging. In 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom 2014 Workshops, Budapest, Hungary, March 24-28, 2014. pages 181-183, IEEE, 2014. [doi]
@inproceedings{Zheng14-9, title = {Physically informed assertions for cyber physical systems development and debugging}, author = {Xi Zheng}, year = {2014}, doi = {10.1109/PerComW.2014.6815195}, url = {http://dx.doi.org/10.1109/PerComW.2014.6815195}, researchr = {https://researchr.org/publication/Zheng14-9}, cites = {0}, citedby = {0}, pages = {181-183}, booktitle = {2014 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom 2014 Workshops, Budapest, Hungary, March 24-28, 2014}, publisher = {IEEE}, }