Tool support for the Z formal notation
Framework & GUI for Bayes Nets and other probabilistic models.
Component, CA, and CCA models; superdense time, ETL DB, testing, etc.
NGSEP (Next Generation Sequencing Experience Platform)
A Dassault Aviation project to simplify the building of prototypes
JASI - Java Event-Based Simulation Framework
Unicode XML TEI text analysis platform
SDC facilitates development of dist. systems of medical devices.
The MaryTTS module for the protoFramework project
Framework for Systems Biology
Samples for the protoFramework project
Toxicity prediction for chemical compounds
Tool for the evaluation of ALgorithms for Embedding VIrtual Networks
Tool for Engineering Emergent Selforganizing bEhavioR