Erhöhungen Eigenschafteditor basierend auf Mustern
Jetzt downloaden

Erhöhungen Ranking & Zusammenfassung

Erhöhungen Stichworte

Übersetzer Editor Muster Property-Editor

Erhöhungen Beschreibung

Procrustes wurde als erreichbarer musterbasierter Eigenschafterditor entwickelt. Mit der Software können Sie Muster in eine zeitliche Logik-Formel übersetzen (derzeit CTL, Strg- und MU-Calculus werden unterstützt). Procrustes ist ein Werkzeug, das mit zwei Modulen, einem GUI und einem Musterübersetzer-API verfügt. Modelle der Dynamik der zellulären Interaktionsnetze sind in den letzten Jahren immer groß geworden. Die Untersuchung dieser Modelle durch Analyse- und Simulationstools erzeugt eine große Anzahl von Vorhersagen der möglichen dynamischen Verhaltensweisen des Systems.

Erhöhungen Zugehörige Software