( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.

, и . FME, том 670 из Lecture Notes in Computer Science, стр. 268-284. Springer, (1993)

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.

Jeremy Cohen

Jérémy Bluteau

Jeremy Debattista

Jérémy Huart

Jérémy Fix

 

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

Automating the Generation and Sequencing of Test Cases from Model-Based Specifications., и . FME, том 670 из Lecture Notes in Computer Science, стр. 268-284. Springer, (1993)Applying the B Technologies on CICS., , , и . FME, том 1051 из Lecture Notes in Computer Science, стр. 74-84. Springer, (1996)Requirements engineering, , и . シュプリンガー・ジャパン株式会社, (2005)A Requirements Guide For All (REGAL): An INCOSE Initiative.. RE, стр. 264. IEEE Computer Society, (2006)A Visual Approach to VDM., и . SOFSEM, том 1175 из Lecture Notes in Computer Science, стр. 275-284. Springer, (1996)The Visual Presentation of VDM Specifications., и . VDM Europe (1), том 551 из Lecture Notes in Computer Science, стр. 670-671. Springer, (1991)Requirements Engineering, , и . Springer, Berlin, (2017)Design traceability. Software, IEEE, 22 (6): 14--16 (ноября 2005)Automating the Knuth Bendix Ordering., , и . Acta Inf., 28 (2): 95-119 (1990)Quantitative Analysis of an Application of Formal Methods., , и . FME, том 1051 из Lecture Notes in Computer Science, стр. 60-73. Springer, (1996)