Timing analysis of scenario-based specifications using linear programming

Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao. Timing analysis of scenario-based specifications using linear programming. Softw. Test., Verif. Reliab., 22(2):121-143, 2012. [doi]

Abstract

Abstract is missing.