( en | de | ru )

 

Disambiguierung von "Claesen, Luc J. M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.

, , , und . TPHOLs, Seite 340-347. IEEE Computer Society, (1991)

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.

J J M Ramakers

J M Zöllner

Marc Claesen

J A M Wanders

Gabriele J M Demetz

 

Weitere Publikationen von Autoren mit dem selben Namen

An Evaluation of Different Handwriting Observation Techniques from a Signature Verification Point of View., und . BSDIA, Volume 1339 von Lecture Notes in Computer Science, Seite 273-282. Springer, (1997)SPI: an open interface integrating highly interactive electronic CAD tools., , , und . EURO-DAC, Seite 492-495. IEEE Computer Society, (1990)Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis., , , und . TPHOLs, Seite 340-347. IEEE Computer Society, (1991)On the use of hierarchy in timing verification with statically sensitizable paths., , und . Great Lakes Symposium on VLSI, Seite 4-8. IEEE, (1992)Efficient false path elimination algorithms for timing verification by event graph preprocessing., , , , , und . Integr., 8 (2): 173-187 (1989)On-line signature verification by dynamic time-warping., und . ICPR, Seite 38-42. IEEE Computer Society, (1996)A formal verification technique for embedded software., und . ICCD, Seite 352-357. IEEE Computer Society, (1996)Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment., , und . EURO-DAC, Seite 62-66. IEEE Computer Society, (1990)On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification., , , und . Formal Methods Syst. Des., 2 (1): 45-72 (1993)An Architecture for Ray - Bezier Patch Intersection., , und . Workshop on Graphics Hardware, Seite 93-112. The Eurographics Association, (1993)