( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE.

, , , и . Haifa Verification Conference, том 7261 из Lecture Notes in Computer Science, стр. 242-246. Springer, (2011)

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.

n n n

n AÊ¿w n

N -L N Nguyen

n-hy n Yi

N Kamjunke

 

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

A comparative study on search strategies for cell assignments., , , и . Int. J. Comput. Math., 81 (7): 901-908 (2004)Segmented channel routing with pin rearrangements via satisfiability., , , , и . ISCAS (6), стр. 6248-6251. IEEE, (2005)Sequential dependency and reliability analysis of embedded systems., , , , , и . ASP-DAC, стр. 423-428. IEEE, (2013)Temporal Coverage Analysis for Dynamic Verification., , , , и . IEEE Trans. Circuits Syst. II Express Briefs, 65-II (1): 66-70 (2018)Implication of assertion graphs in GSTE., , , и . ASP-DAC, стр. 1060-1063. ACM Press, (2005)Verification and Implementation of the Protocol Standard in Train Control System., , , , , и . COMPSAC, стр. 549-558. IEEE Computer Society, (2013)An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion., , , , и . Clust. Comput., 22 (Supplement): 7491-7506 (2019)On data address computation for embedded DSP systems., и . ISCAS (4), стр. 532-535. IEEE, (2002)A Case Study on Formal Analysis of an Automated Guided Vehicle System., , , , , и . J. Appl. Math., (2014)A Constructive Algorithm for Reversible Logic Synthesis., , , , и . IEEE Congress on Evolutionary Computation, стр. 2416-2421. IEEE, (2006)