En relation avec le sujet du cours

Modélisation synchrone des systèmes et des logiciels d'avionique