( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining test case generation and runtime verification

, , , , , , , , , и . Theoretical Computer Science, 336 (2-3): 209--234 (26.05.2005)
DOI: 10.1016/j.tcs.2004.11.007

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.

Aman K K Bhasin

K Böhm

K Schweizerhof

K Schaber

K Beheng

 

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

Combining test case generation and runtime verification, , , , , , , , , и . Theoretical Computer Science, 336 (2-3): 209--234 (26.05.2005)Model Checking Java Programs using Java PathFinder, и . International Journal on Software Tools for Technology Transfer, (1998)Combining test case generation and runtime verification, , , , , , , , , и 1 other автор(ы). Theoretical Computer Science, 336 (2-3): 209--234 (2005)Model Checking Java Programs Using Java PathFinder, и . Intl Journal on Software Tools for Technology Transfer, 2 (4): 366-381 (марта 2000)