Skip to main content
Publication

A formal synchronous model for distributed time-critical control-systems