1 Diagramme d’états-transitions State machine diagram Introduction au formalisme État Événement Transition Point de choix États composites.
Introduction à la logique séquentielle