( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.

, и . Formal Methods and Testing, том 4949 из Lecture Notes in Computer Science, стр. 240-270. Springer, (2008)

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.

Sergiy Zorya

Sergiy Lebedynskyy

Sergiy Davydenko

Sergiy Kryvych

Sergiy Tkachov

 

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

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria., и . Formal Asp. Comput., 18 (1): 42-62 (2006)Formalization and assessment of regulatory requirements for safety-critical software., , и . ISSE, 2 (3-4): 165-178 (2006)Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing., и . ZB, том 2272 из Lecture Notes in Computer Science, стр. 291-308. Springer, (2002)Disciplined Methods of Software Specification: A Case Study., , , , и . ITCC (2), стр. 428-437. IEEE Computer Society, (2005)isbn: 0-7695-2315-3.Combining Agent-Oriented Conceptual Modelling with Formal Methods., , и . Australian Software Engineering Conference, стр. 147-157. IEEE Computer Society, (2004)Precise Documentation of Critical Software., и . HASE, стр. 237-244. IEEE Computer Society, (2007)Segregated failures model for availability evaluation of fault-tolerant systems., , , и . ACSC, том 48 из CRPIT, стр. 55-61. Australian Computer Society, (2006)Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements., и . PROFES, том 3009 из Lecture Notes in Computer Science, стр. 523-537. Springer, (2004)Specification of Software Component Requirements Using the Trace Function Method., , , и . ICSEA, стр. 50. IEEE Computer Society, (2006)Formalization of Software Testing Criteria using the Z Notation., и . COMPSAC, стр. 351-356. IEEE Computer Society, (2001)