BSc_CA_IT_Sem_2.doc - dcs.gnu.ac.in - Ganpat University
G. Desbareille, « Exercices et problèmes de la R.O. »Ed. Dunod 1976 ...... II-2-2-
Quelques formalismes: Rdp, Statecharts, Logique temporelle. II-2-3- ..... Rdp
colorés. II.5.3. Rdp temporises. II.5.4.Rdp prédicats/transition. II.5.5. Rdp
algébriques ... CHAPITRE III: Domaines d'application. III.1. le langage ESTELLE.
III.2.