Visitor

Views

PROPOSITION DU PROGRAMME DE FORMATION

Modelisation/simulation. 1 .... Elements de test et de preuve de programmes (10
%) ...... II-2-2- Quelques formalismes: Rdp, Statecharts, Logique temporelle.

Part of the document