Вы здесь
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 |