Component, CA, and CCA models; superdense time, ETL DB, testing, etc.
Automates the building of VANET simulations using SUMO and OMNeT++
Growth-grammar related Interactive Modelling Platform
System safety, dependability and security analysis
A multi-modeling and simulation environment to study complex systems
Numerical models for chemical and process engineering
Visual & persistent families of models for CA, DEVS, and Statecharts
An Agent-Based Simulation of Invasive Pest Insects
Provides high performance computing power and state of the art tools
Simple API for JADE-based Simulations
MGSyn - Automatic Synthesis for Industrial Automation
Equation of stock trading simplified to game of moving resizing balls
Modeling and Simulation made NiCE!
Java-based discrete event simulator of an M/M/s queue system
Calculates Hamaker coefficient,interaction free energy,force,torque.