( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifiable Coverage Criteria for Automated Testing.

, , и . SDL Forum, том 7083 из Lecture Notes in Computer Science, стр. 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.

Alexey Baranov

Sergey Libert

Sergey Stepanov

Sergey Gorbunov

Sergey Groppa

 

Другие публикации лиц с тем же именем

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