![](/statics/img/blank.png)
WATERS
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 3.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur WATERS
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 exécution et d’appliquer des algorithmes de vérification des modèles à eux.