( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic implication in test generation.

, , , и . EURO-DAC, стр. 492-496. EEE Computer Society, (1991)

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.

Narayanaswamy Iyengar

Balakumar Vijayakrishnan

Iyengar Chokkana

Vijay Divi

Vijay Singh

 

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

On simulating faults in parallel., и . FTCS, стр. 110-115. IEEE Computer Society, (1988)SLS-a fast switch-level simulator for MOS., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (8): 838-849 (1988)A Formal Framework to Characterize Interpretability of Procedures., , , и . CoRR, (2017)Concurrent Fault Detection in Microprogrammed Control Units., и . IEEE Trans. Computers, 34 (9): 810-821 (1985)Transforming data to satisfy privacy constraints.. KDD, стр. 279-288. ACM, (2002)Evaluation of IT Portfolio Options by Linking to Business Services., , , и . DEECS, том 4055 из Lecture Notes in Computer Science, стр. 66-80. Springer, (2006)Epi-SPIRE: a system for environmental and public health activity monitoring., , , , , , , , , и 4 other автор(ы). ICME, стр. 713-716. IEEE Computer Society, (2003)Architectural Verification of Processors Using Symbolic Instruction Graphs., , , , , и . ICCD, стр. 454-459. IEEE Computer Society, (1994)Constraint Slving for Test Case Generation., и . ICCD, стр. 245-248. IEEE Computer Society, (1992)Concurrent Testing of Flow of Control in Simple Microprogrammed Control Units., и . ITC, стр. 469-479. IEEE Computer Society, (1982)