WATERS

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen

Over WATERS

Waters - de Waikato Analysis Tool for Events in Reactive Systems. Deze software stelt gebruikers in staat om eindige machinemodellen te maken in een grafische gebruikersinterface, om hun uitvoering te simuleren en om modelcontrolealgoritmen op hen toe te passen.