|
СТ |
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 |
|
СТ |
Automated Test Generation from Timed Automata |
2001 |
Nielsen B., Skou A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
|
СТ |
Scaling Up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction |
2000 |
Jensen H. E., Larsen K. G., Skou A. |
|
|
|
Lecture Notes in Computer Science |
25.10.2000 |
|
СТ |
Practical Verification of Embedded Software |
2000 |
Staunstrup J., Andersen H. R., Hulgaard H., Lind-Nielsen J., Larsen K. G., Behrmann G., Kristoffersen K., Skou A., Leerberg H., Theilgaard N. B. |
|
|
|
Computer |
26.07.2000 |
|
СТ |
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL |
1999 |
Havelund K., Larsen K. G., Skou A. |
|
|
|
Lecture Notes in Computer Science |
18.06.1999 |
|
СТ |
Compositional Verification of Probabilistic |
1992 |
Larsen K. G., Skou A. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
