Вы здесь

Pattersson P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Time-Optimal Real-Time Test Case Generation Using UPPAAL 2004 Hessel A., Larsen K. G., Nielsen B., Pattersson P., Skou A. Lecture Notes in Computer Science 11.03.2004