( en | de | ru )

 

Disambiguation of "Baranov, Sergey"

Author of the publication

copydeleteadd this publication to your clipboard
Verifiable Coverage Criteria for Automated Testing.

, , and . SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 79-89. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexey Baranov

Sergey Gorbunov

Sergey Stepanov

Sergey Libert

Sergey Leontyev

 

Other publications of authors with the same name

Leveraging UML to Deliver Correct Telecom Applications., , , , and . UML for Real, Kluwer, (2003)A Practical Simulator of Associative Intellectual Machine.. ISNN, volume 9719 of Lecture Notes in Computer Science, page 185-195. Springer, (2016)Basic protocols, message sequence charts, and the verification of requirements specifications., , , , , and . Comput. Networks, 49 (5): 661-675 (2005)Density of multi-task real-time applications., and . FRUCT, page 9-15. IEEE, (2015)Requirement Capturing and 3CR Approac., , , , and . COMPSAC, page 279-283. IEEE Computer Society, (2002)Verifiable Coverage Criteria for Automated Testing., , and . SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 79-89. Springer, (2011)A formal application model for code and test generation., and . Automatic Control and Computer Sciences, 46 (7): 371-378 (2012)The impact of blocking factor on real-time applications feasibility., and . FRUCT, page 15-20. IEEE, (2016)Real-time multi-task simulation in Forth.. FRUCT, page 21-26. IEEE, (2016)Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture., and . COMPSAC, page 329-331. IEEE Computer Society, (2001)