Physically informed assertions for cyber physical systems development and debugging

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]

No reviews for this publication, yet.