MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems

Kyungmin Bae, Peter Csaba Ölveczky. MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. ACM Trans. Embedded Comput. Syst., 20(5s), 2021. [doi]

Authors

Kyungmin Bae

This author has not been identified. Look up 'Kyungmin Bae' in Google

Peter Csaba Ölveczky

This author has not been identified. It may be one of the following persons: Look up 'Peter Csaba Ölveczky' in Google