Вы здесь

Nielsen B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automated Test Generation from Timed Automata 2001 Nielsen B., Skou A. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.05.2001
СТ Online Testing of Real-Time Systems Using UPPAAL 2005 Larsen K. G., Mikucionis M., Nielsen B. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.04.2005
СТ 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
СТ Time-Optimal Test Cases for Real-Time Systems 2004 Hessel A., Larsen K. G., Nielsen B., Pettersson P., Skou A. Lecture Notes in Computer Science 03.06.2004