Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL.

C. Angelo, L. Claesen, und H. Man. TPHOLs, Volume A-20 von IFIP Transactions, Seite 375-394. North-Holland/Elsevier, (1992)

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.

Jonathan Kießling University of Stuttgart

Matthias Lück University of Stuttgart

J. K\"astner

J. Schwarz

Konstantin Lucke University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Efficient false path elimination algorithms for timing verification by event graph preprocessing.L. Claesen, J. Schupp, P. Das, P. Johannes, S. Perremans, und H. Man. Integration, 8 (2): 173-187 (1989)On the use of hierarchy in timing verification with statically sensitizable paths.P. Johannes, L. Claesen, und H. Man. Great Lakes Symposium on VLSI, Seite 4-8. IEEE, (1992)Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.C. Angelo, D. Verkest, L. Claesen, und H. Man. TPHOLs, Seite 340-347. IEEE Computer Society, (1991)On-line signature verification by dynamic time-warping.R. Martens, und L. Claesen. ICPR, Seite 38-42. IEEE Computer Society, (1996)A formal verification technique for embedded software.O. Thiry, und L. Claesen. ICCD, Seite 352-357. IEEE Computer Society, (1996)SPI: an open interface integrating highly interactive electronic CAD tools.J. Schupp, J. Cockx, L. Claesen, und H. Man. EURO-DAC, Seite 492-495. IEEE Computer Society, (1990)An Evaluation of Different Handwriting Observation Techniques from a Signature Verification Point of View.R. Martens, und L. Claesen. BSDIA, Volume 1339 von Lecture Notes in Computer Science, Seite 273-282. Springer, (1997)On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification.C. Angelo, D. Verkest, L. Claesen, und H. Man. Formal Methods in System Design, 2 (1): 45-72 (1993)Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment.D. Verkest, L. Claesen, und H. Man. EURO-DAC, Seite 62-66. IEEE Computer Society, (1990)The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL.C. Angelo, L. Claesen, und H. Man. TPHOLs, Volume A-20 von IFIP Transactions, Seite 375-394. North-Holland/Elsevier, (1992)