|
СТ |
Automated Test Generation from Timed Automata |
2001 |
Nielsen B., Skou A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
