Skip to main navigation
Skip to search
Skip to main content
University of Luebeck Home
English
Deutsch
Home
Research Units
Experts
Publications
Projects
Prizes
Spin-Offs
Media
Activities
Datasets
Search by expertise, name or affiliation
Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams
Walter Dosch
Institute of Software Engineering and Programming Languages
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering
Fits and Tolerances
100%
Communication Channel
100%
Stream Function ψ
100%
Constrains
100%
Computer Science
Component State
100%
Top down Design
100%