OSDN -- Open-Source-Software-Entwicklung und Downloads
Übersetzungsstatus von Deutsch translation status for de

Download von fsim.exp.download.120714.tar.gz (fsim.exp.download.120714.tar.gz ( externer Link: SourceForge.net): 5,375,094 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf fsim.exp.download.120714.tar.gz ( externer Link: SourceForge.net).

Datei-Informationen

Dateigröße
5,375,094 Bytes
MD5
1ddc8bcaaa7af1f9ca567c817e943efb

Wohin willst du als nächstes gehen?

Springe zum OSDN Projektseite Anderen Releases anzeigen

Projektbeschreibung

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol