|
СТ |
Vooduu: Verification of Object-Oriented Designs Using UPPAAL |
2004 |
Diethers K., Huhn M. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
Generation of Optimized Testsuites for UML Statecharts with Time |
2004 |
Mucke T., Huhn M. |
|
|
|
Lecture Notes in Computer Science |
01.04.2004 |
|
СТ |
Model Checking Logics for Communicating Sequential Agents |
1999 |
Huhn M., Niebert P., Wallner F. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
Verification Based on Local States |
1998 |
Huhn M., Niebert P., Wallner F. |
|
|
|
Lecture Notes in Computer Science |
29.04.1998 |
|
СТ |
ProFun - A Language for Executable Specifications |
1996 |
Gehrke T., Huhn M. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
