|
СТ |
UML to B: Formal Verification of Object-Oriented Models |
2004 |
Lano K., Clark D., Androutsopoulos K. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
|
СТ |
From Implicit Specifications to Explicit Designs in Reactive System Development |
2002 |
Lano K., Clark D., Androutsopoulos K. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
СТ |
Structuring and Design of Reactive Systems Using RSDS and B |
2000 |
Lano K., Androutsopoulos K., Clark D. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Are ATM, Gigabit Ethernet Ready for Prime Time? |
1998 |
Clark D. |
|
|
|
Computer |
27.06.1998 |
|
СТ |
A Lattice of Abstract Graphs |
1993 |
Clark D., Hankin C. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
СТ |
APPLAUSE: Application and Assessment of Parallel Programming Using Logic |
1993 |
Li L. -L., Reeve M., Schuerman K., Veron A., Bellone J., Pradelles C., Kolokouris A., Stamatopoulos T., Clark D., Rawlings Ch., Shirazi J., Sardi G. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
|
СТ |
Observations on the Dynamics of a Congestion Control Algorithm: The Effects of Two-Way Trafic |
1991 |
Zhang L., Shenker S., Clark D. |
|
|
|
Computer Communication Review |
18.12.1991 |
