DdEditor (Diades editor)
DdEditor (éditeur pour Diades)
Résumé
DdEditor is a graphical user interface to edit automata that can be used by the Diades collection tools (diagnosis of discrete event systems).
DdEditor est une interface graphique permettant d'éditer des automates qui peuvent être utilisés par les outils de la collection Diades (diagnostic des systèmes à événements discrets).