( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Coq and Hardware Verification: A Case Study.

, и . TPHOLs, том 1125 из Lecture Notes in Computer Science, стр. 125-139. Springer, (1996)

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.

Line Wallerstein

Line Förtsch

Monika Linek

Wigbert Linek

Ingrid Linemann

 

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

Hardware Verification Using Co-induction in COQ., и . TPHOLs, том 1690 из Lecture Notes in Computer Science, стр. 91-108. Springer, (1999)A Functional Scenario for Bytecode Verification of Resource Bounds., , , и . CSL, том 3210 из Lecture Notes in Computer Science, стр. 265-279. Springer, (2004)A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines., , , и . VMCAI, том 2294 из Lecture Notes in Computer Science, стр. 32-45. Springer, (2002)A System for Modelling and Proving Circuits., , , и . ED&TC, стр. 605. IEEE Computer Society, (1996)Coq and Hardware Verification: A Case Study., и . TPHOLs, том 1125 из Lecture Notes in Computer Science, стр. 125-139. Springer, (1996)Message composition based on concepts and goals., , и . I. J. Speech Technology, 11 (3-4): 181 (2008)A Formal Executable Semantics of the JavaCard Platform., , , , и . ESOP, том 2028 из Lecture Notes in Computer Science, стр. 302-319. Springer, (2001)Certifying circuits in Type Theory., и . Formal Aspects Comput., 16 (4): 352-373 (2004)