Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

WSC
1998

favoriteEmaildiscussreport

122views Modeling And Simulation» more WSC 1998»

Abstract Simulators for the DSDE Formalism

13 years 6 months ago

Abstract Simulators for the DSDE Formalism

Download www.informs-sim.org

SIMULATORS FOR THE DSDE FORMALISM Fernando J. Barros Departamento de Engenharia Inform

Fernando J. Barros

Real-time Traffic

Dsde Formalism | Engenharia Informática Universidade | FORMALISM Fernando J | Modeling And Simulation | WSC 1998 |

claim paper

Related Content

» Formal Property Verification by Abstraction Refinement with Formal Simulation and Hybrid E...

» Simulator for RealTime Abstract State Machines

» Symbolic Simulation Model Checking and Abstraction with Partially Ordered Boolean Function...

» Smart Simulation Using Collaborative Formal and Simulation Engines

» An Effective Guidance Strategy for AbstractionGuided Simulation

» The TASM Toolset Specification Simulation and Formal Verification of RealTime Systems

» SecondOrder Abstract Categorial Grammars as Hyperedge Replacement Grammars

» AgentBased and PopulationBased Simulation of Displacement of Crime extended abstract

» Guiding simulation with increasingly refined abstract traces

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1998
Where	WSC
Authors	Fernando J. Barros

Comments (0)