Préparation Examen BIA

Exercice : Trace d'un automate temporisé. Modélisation des systèmes. 52. S0. S1 y ? 3 / y := 0 y ? 5 & x ? 8 / x := 0; y:=0 y := 0; x := 0 a b. Page 53 ...