Tool support for the Z formal notation
JASI - Java Event-Based Simulation Framework
Framework & GUI for Bayes Nets and other probabilistic models.
Framework for Systems Biology
Toxicity prediction for chemical compounds
Tool for the evaluation of ALgorithms for Embedding VIrtual Networks
Tool for Engineering Emergent Selforganizing bEhavioR
Numerical models for chemical and process engineering
ILA is a fully customizable and teachable voice assistant for Java
An FMI-based co-simulation framework.