Formal patterns for multirate distributed real-time systems

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky. Formal patterns for multirate distributed real-time systems. Science of Computer Programming, 91:3-44, 2014. [doi]

Authors

Kyungmin Bae

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

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' 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