Вы здесь
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 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Formal Approaches to Software Testing: Revised Selected Papers/4th International Workshop, FATES 2004. Linz, Austria, September 2004 | 2005 | Lecture Notes in Computer Science |
|
29.04.2005 | |||
СБ | Testing Software and Systems: Proc./24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 2012 | 2012 | Lecture Notes in Computer Science |
|
11.01.2013 |