|
СТ |
Analysis of a Multimedia Stream using Stochastic Process Algebra |
2001 |
Bowman H., Bryans J. W., Derrick J. |
|
|
|
The Computer J. |
17.08.2001 |
|
СТ |
Consistency of Partial Process Specifications |
1999 |
Steen M., Derrick J., Boiten E., Bowman H. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
Weak Refinement in Z |
1997 |
Derrick J., Boiten E., Bowman H., Steen M. |
|
|
|
Lecture Notes in Computer Science |
15.04.1997 |
|
СТ |
Viewpoints and Objects |
1995 |
Derric J., Bowman H., Steen M. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
|
СТ |
A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronization |
1994 |
Bowman H., Blair L., Blair G. S., Chetwynd A. G. |
|
|
|
Lecture Notes in Computer Science |
26.01.1995 |
|
СТ |
On the Role of Formal Techniques in Open Distributed Processing |
1994 |
Bowman H., Derrick J. |
|
|
|
Международная конференция-выставка "Открытые системы - решение для нового мира": Тез. докл. |
14.07.1994 |
