Anzeige
Uppaal Timed Automata Parser Library
Die uppaal Timed Automata Parser Library (Libutap) ist die Parserbibliothek, die von Uppaal verwendet wird. ...
Parser-Bibliothek Uppaal Uppaal Timed. Zeitgesteuerte Automaten Zeitgesteuert
Uppaal
UPPAAL ist eine integrierte Werkzeugumgebung zur Modellierung, Validierung und Überprüfung von Echtzeitsystemen. ...
Umgebung integriert Uppaal Integrierte Werkzeugumgebung. Echtzeitsysteme modellieren
Uppaal Tiga.
Uppaal Tiga ist eine Erweiterung von Uppaal und implementiert den ersten effizienten On-the-Fly-Algorithmus, um Spiele zu lösen. ...
Uppaal Gelöst lösen Spiele Befehlszeilenprüfer On-the-fly-Algorithmus
Uppaal-DBM-Bibliothek.
Differenz-gebundene Matrizen (DBMS) sind effiziente Datenstrukturen, um Takteinschränkungen in zeitgesteuerten Automaten darzustellen. ...