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

A Functional Approach for Formalizing Regular Hardware Structures.

D. Eisenbiegler, K. Schneider, und R. Kumar. HUG, Volume 780 von Lecture Notes in Computer Science, Seite 101-114. Springer, (1993)

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.

Matthias Schneider University of Stuttgart

Holzpartikel richtig leiten - Ansätze aus der WissenschaftM. Schneider. (2023)

Holzpartikel richtig leiten - Ansätze aus der WissenschaftM. Schneider. (2023)Fräsen von CMC Finisching von CMC - Bauteilen mit geometrisch bestimmter SchneideM. Schneider, M. Rapp, und C. Gauggel. CU reports, (2022)

Janos Klaus University of Stuttgart

Klaus Hentschel

apl. Prof. Dr. -Ing. Klaus Leonhardt University of Stuttgart

Prof. Dr. Georg Schneider University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Synchronous Programming (Dagstuhl Seminar 13471).S. Edwards, A. Girault, und K. Schneider. Dagstuhl Reports, 3 (11): 117-143 (2013)Automatic Hard Block Inference on FPGAs.A. Willenbücher, und K. Schneider. DSD, Seite 551-557. IEEE Computer Society, (2013)Towards the Applicability of Alf to Model Cyber-Physical Systems.A. Romero, K. Schneider, und M. Ferreira. FedCSIS, Seite 1415-1422. (2013)Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems.T. Schüle, und K. Schneider. SEFM, Seite 67-76. IEEE Computer Society, (2004)Separate compilation and execution of imperative synchronous modules.E. Vecchié, J. Talpin, und K. Schneider. DATE, Seite 1580-1583. IEEE, (2009)Das grafische Ausgabesystem am VW-Prozeß-Leit-System (PLS).K. Pasemann, K. Schneider, und E. Vöge. Elektronische Rechenanlagen, 18 (5): 241-245 (1976)Verification of Reactive Systems - Formal Methods and AlgorithmsK. Schneider. Texts in Theoretical Computer Science. An EATCS Series Springer, (2004)Formal synthesis of circuits with a simple handshake protocol.R. Kumar, T. Kropf, und K. Schneider. VLSI Design, Seite 255-259. IEEE Computer Society, (1995)Efficient Representation and Computation of Tableau Proofs.K. Schneider, R. Kumar, und T. Kropf. TPHOLs, Volume A-20 von IFIP Transactions, Seite 39-57. North-Holland/Elsevier, (1992)Verification condition generation for hybrid systems.X. Li, und K. Schneider. MEMOCODE, Seite 238-247. IEEE, (2015)