|
СТ |
Specifying and Generating Test Cases Using Observer Automata |
2005 |
Blom J., Hessel A., Jonsson B., Pettersson P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.04.2005 |
|
СТ |
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems |
2004 |
Amnell T., Fersman E., Mokrushin L., Pettersson P., Yi W. |
|
|
|
Lecture Notes in Computer Science |
03.06.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 |
|
П |
As Cheap as Possible: Linearly Priced Timed Automata |
2002 |
Behrmann G., Brinksma E., Fehnker A., Larsen K., Pettersson P., Romijn J., Vaandrager F. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
СТ |
UPPAAL - Now, Next, and Future |
2001 |
Amnell T., Behrmann G., Bengtsson J., D Argenio P. R., David A., Fehnker A., Hune T., Jeannet B., Larsen K. G., Moller M. O., Pettersson P., Weise C., Yi W. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
Model-Checking for Real-Time Systems |
1995 |
Larsen K. G., Pettersson P., Yi W. |
Lecture Notes in Computer Science |
|
|
Fundamentals of Computation Theory |
18.10.1995 |
