An efficient approach for verifying automobile distributed application systems on timing property.

Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu

Browse the full ICSE paper archive.