| 2005 |
|---|
| 3 | EE | Alexander A. Letichevsky,
Julia V. Kapitonova,
A. A. Letichevsky Jr.,
Vladislav A. Volkov,
Sergey Baranov,
Thomas Weigert:
Basic protocols, message sequence charts, and the verification of requirements specifications.
Computer Networks 49(5): 661-675 (2005) |
| 2002 |
|---|
| 2 | EE | Sergey Baranov,
Vsevolod Kotlyarov,
Julia V. Kapitonova,
Alexander A. Letichevsky,
Vladislav A. Volkov:
Requirement Capturing and 3CR Approac.
COMPSAC 2002: 279-283 |
| 2001 |
|---|
| 1 | EE | Sergey Baranov,
Vsevolod Kotlyarov:
Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture.
COMPSAC 2001: 329-331 |
