(Verification Interacting with Synthesis) is a tool that integrates the verification, simulation, and synthesis of finite-state hardware systems.
http://www-cad.eecs.berkeley.edu/Respep/Research/vis/index.html
CIM Ireland provides design, modelling and training expertise for electronic, process, assembly, high volume, and pharmaceuticals. CIM Ireland is package independent and sources simulation software.
http://www.simulation.ie
Agent based simulation 4 : Workshop in Montpellier, France 28 to 30 april 2003
http://abs2003.cirad.fr
Research and application of simulation software and methodology for discrete event and continuous system simulation, queuing models, bond graphs, signal flow graphs, animation in 3D scenarios, and training.
http://www.scs.org/resources/text/miss.html
More than 120 topics, 300 keywords in the field of computer simulation and modeling. Includes simulation and modeling methods, software tools and general issues. Ideal as an additional text in teaching modeling and simulation. Prepared as a Windows help file. Low cost (US $10) download available.
http://www.raczynski.com/pn/encyk.htm
AnyLogic is professional simulation tool for modeling complex hybrid, discrete and continuous systems. It is used to model, simulate, visualize and analyze a diverse range of real-world problems.
http://www.xjtek.com
EcosimPro simulation tool for modeling systems.
http://www.ecosimpro.com
Modelling and simulation methodologies based on the DEVS (Discrete Event Specification) formalism. Public domain software available, running in centralized/distributed environments.
http://www.sce.carleton.ca/faculty/wainer/celldevs/homepage.html