|
СТ |
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 |
|
СТ |
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 |
|
П |
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 |
|
СТ |
Unification & Sharing in Timed Automata Verification |
2003 |
David A., Behrmann G., Larsen K. G., Yi W. |
|
|
|
Lecture Notes in Computer Science |
29.05.2003 |
