|
СТ |
Formalising Behaviour Trees with CSP |
2004 |
Winter K. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
|
СТ |
Proving Temporal Properties of Z Specifications Using Abstraction |
2003 |
Smith G., Winter K. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Compositional Verification for Object-Z |
2003 |
Winter K., Smith G. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Model Checking Object-Z Using ASM |
2002 |
Winter K., Duke R. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
СТ |
Towards a Unified Toolset for Embedded Systems Development |
2000 |
Bakhmurov A. G., Chervin V. I., Chistolinov M. V., Groote J. F., Kostenko V. A., Smeliansky R. L., Tsarkov D. V., Usenko V. A., Winter K., Zakharov V. A. |
|
|
|
Проблемы программирования |
10.06.2000 |
|
СТ |
Model Checking Support for the ASM High-Level Language |
2000 |
Del Castillo G., Winter K. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
