Thema
Qualitätssicherung (302)Elektronische Entwurfsautomatisierung (EDA) (302)
Modellieren (246)
Anderes(1960)
deutsche übersetzung
Qualitätssicherung (14)Elektronische Entwurfsautomatisierung (EDA) (15)
Modellieren (10)
Anderes(183)
peptool
PEP ist ein Modellieren und überprüfung Rahmen für parallele Systeme und stellt viele unterschiedliche modellierende Sprachen und überprüfung Techniken zur Verfügung (z.B. SDL, Petrinetze und Modellüberprüfung)。
Status
Beta
Beabsichtigte Publikum
Programmierer Qualitätsingenieure Ausbildung Herstellung Wissenschaft/Forschung Nachrichtentechnik-Industrie
Lizenz
GPL
OS
Cygwin (MS Windows) Windows(95/98/NT/2000/XP) Linux/BSD/UNIX Linux Solaris
Programmiersprache
C C++ Tcl
Thema
Anderes Elektronische Entwurfsautomatisierung (EDA) Modellieren Qualitätssicherung
Übersetzungen
Englisch
Benutzerschnittstelle
Konsole/Anschluß TK
Programmierer
4
seit
2003-07-23 10:25
du kannst an folgendem URL downloaden
http://sourceforge.net/projects/peptool