СТ |
A Real-Time Animator for Hybrid Systems |
2001 |
Amnell T., David A., Yi W. |
|
|
|
Lecture Notes in Computer Science |
11.04.2001 |
СТ |
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 |
СТ |
Formal Verification Of UML Statecharts with Real-Time Extensions |
2002 |
David A., Moller M. O., Yi W. |
|
|
|
Lecture Notes in Computer Science |
15.05.2002 |
СТ |
Specification, Implementation, and Validation of Object-Oriented Embedded Systems |
2002 |
Gerard S., David A., Terrier F. |
|
|
|
Lecture Notes in Computer Science |
11.06.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 |