Sergey Baranov

	2011
4		Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert: Verifiable Coverage Criteria for Automated Testing. SDL Forum 2011: 79-89
	2005
3		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		Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov: Requirement Capturing and 3CR Approac. COMPSAC 2002: 279-283
	2001
1		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

Coauthor Index

1	Julia V. Kapitonova	[2] [3]
2	Vsevolod Kotlyarov	[1] [2] [4]
3	Alexander A. Letichevsky	[2] [3]
4	A. A. Letichevsky Jr.	[3]
5	Vladislav A. Volkov	[2] [3]
6	Thomas Weigert	[3] [4]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page