Sergey N. Baranov
发表
Sergey N. Baranov,
2003
.
Sergey N. Baranov,
Lev S. Kuravsky,
Grigory A. Yuryev,
2012
.
L. S. Kuravsky,
P. A. Marmalyuk,
G. A. Yuryev,
2015
.
Thomas Weigert,
Alexander A. Letichevsky,
Vsevolod Kotlyarov,
2003,
UML for Real.
Thomas Weigert,
Yu. V. Kapitonova,
V. A. Volkov,
2005
.
Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems
Yu. V. Kapitonova,
V. A. Volkov,
A. B. Godlevskii,
2003
.