Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams

Walter Dosch

Fingerprint

Dive into the research topics of 'Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams'. Together they form a unique fingerprint.

Engineering

Computer Science