Editeurs
(Traduction du document original anglais)
Vue d'ensemble
Ce chapitre décrit les applets Java de l'éditeur de données et de l'éditeur graphique, qui permettent de créer des tableaux de données ou des affichages graphiques dynamiques. Les deux éditeurs sont mis à jour de façon dynamique avec les données d’exploitation de l’automate.
Contenu de ce chapitre
Ce chapitre contient les sous-chapitres suivants :