机译:Visualization And Formalization Of User Constraints For Tight Estimation Of Worst-case Execution Time
Dependable Software Lab, Division of Computer Science, Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea;
worst-case execution time; user constraint; control flow graph; finite automata;