Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Digital Circuits Design and Simulation
Linux for Arduino and Makers developers
The Future of the Java Circuit Simulator
Simulate high power rocket flights with splash down plots
Simulator of G/G/k queue systems used in computer networks.
A simulation software for numerical techniques.
A library that allows programs for a NI CRIO to be run on a computer.
GEPETTO (GEne Prioritization ExTended TOol)
A platform for modelling influenza-like epidemics and containment