( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.

, и . Formal Aspects Comput., 18 (1): 42-62 (2006)

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 Davydenko

Sergiy Lebedynskyy

Sergiy Kryvych

Sergiy Radyakin

 

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

Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing., и . ZB, том 2272 из Lecture Notes in Computer Science, стр. 291-308. Springer, (2002)Formalization and assessment of regulatory requirements for safety-critical software., , и . Innov. Syst. Softw. Eng., 2 (3-4): 165-178 (2006)From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria., и . Formal Aspects Comput., 18 (1): 42-62 (2006)Combining Agent-Oriented Conceptual Modelling with Formal Methods., , и . Australian Software Engineering Conference, стр. 147-157. IEEE Computer Society, (2004)Disciplined Methods of Software Specification: A Case Study., , , , и . ITCC (2), стр. 428-437. IEEE Computer Society, (2005)isbn: 0-7695-2315-3.Precise Documentation of Critical Software., и . HASE, стр. 237-244. IEEE Computer Society, (2007)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)Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures., , , и . COMPSAC (1), стр. 473-478. IEEE Computer Society, (2005)Segregated failures model for availability evaluation of fault-tolerant systems., , , и . ACSC, том 48 из CRPIT, стр. 55-61. Australian Computer Society, (2006)Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models., , и . Inf. Softw. Technol., 51 (2): 478-496 (2009)