Haitao Zhang, Guoqiang Li 0001, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu. An efficient approach for verifying automobile distributed application systems on timing property. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 230-231, ACM, 2018. [doi]
Abstract is missing.