Terms for subject Programming containing более сложные последовательности событий

Russian	English
более сложные последовательности событий	more complex sequences of events (ssn)
время выполнения более сложных последовательностей событий	execution times for more complex sequences of events (ssn)
этот вид анализа также может использоваться для определения времени выполнения более сложных последовательностей событий	this kind of analysis can also be used to determine execution times for more complex sequences of events (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)