Passer au contenu principal
Publication

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