Programmes par waters.sf.net

Waters - l’outil d’analyse Waikato pour les événements dans les systèmes réactifs.Ce logiciel permettra aux utilisateurs de créer des modèles de machines à état fini dans une interface utilisateur graphique, de simuler leur