( en | de | ru )

 

Disambiguierung von "Jakubiec, Line"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Coq and Hardware Verification: A Case Study.

, und . TPHOLs, Volume 1125 von Lecture Notes in Computer Science, Seite 125-139. Springer, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Line Wallerstein

Line Förtsch

Monika Linek

Wigbert Linek

Ingrid Linemann

 

Weitere Publikationen von Autoren mit dem selben Namen

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