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

Derivation of Formal Representations from Process-Based Specification and Implementation Models.

S. Vercauteren, D. Verkest, G. de Jong, und B. Lin. ISSS, Seite 16-. ACM / IEEE Computer Society, (1997)

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.

Steven Minden University of Stuttgart

Steven Presser University of Stuttgart

Steven Jöns University of Stuttgart

Steven Biele University of Stuttgart

Steven Scharr University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures.S. Vercauteren, B. Lin, und H. Man. DAC, Seite 678-683. ACM Press, (1996)Embedded Architecture Co-Synthesis and System Integration.B. Lin, S. Vercauteren, und H. Man. CODES, Seite 2-9. IEEE Computer Society, (1996)Derivation of Formal Representations from Process-Based Specification and Implementation Models.S. Vercauteren, D. Verkest, G. de Jong, und B. Lin. ISSS, Seite 16-. ACM / IEEE Computer Society, (1997)Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints.S. Vercauteren, J. van der Steen, und D. Verkest. DATE, Seite 556-561. IEEE Computer Society / ACM, (1999)Hardware/Software Communication and System Integration for Embedded Architectures.S. Vercauteren, und B. Lin. Design Autom. for Emb. Sys., 2 (3-4): 359-382 (1997)Efficient Verification using Generalized Partial Order Analysis.S. Vercauteren, D. Verkest, G. de Jong, und B. Lin. DATE, Seite 782-789. IEEE Computer Society, (1998)Control resynthesis for control-dominated asynchronous designs.T. Kolks, S. Vercauteren, und B. Lin. ASYNC, Seite 233-243. IEEE Computer Society, (1996)Synthesis of concurrent system interface modules with automatic protocol conversion generation.B. Lin, und S. Vercauteren. ICCAD, Seite 101-108. IEEE Computer Society / ACM, (1994)Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications.S. Vercauteren, B. Lin, und H. Man. DAC, Seite 521-526. ACM Press, (1996)