Sciweavers

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

25

PADS
2006
ACM

favoriteEmaildiscussreport

106views Modeling and Simulation» more PADS 2006»

Using Abstraction in the Verification of Simulation Coercion

14 years 5 months ago

Using Abstraction in the Verification of Simulation Coercion

Download www.cs.virginia.edu

Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan

Real-time Traffic

Modelling And Simulation | PADS 2006 |

claim paper

Related Content

» Simulation Coercion Applied to Multiagent DDDAS

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

» An Effective Guidance Strategy for AbstractionGuided Simulation

» Transistor abstraction for the functional verification of FPGAs

» Subtyping and Parametricity

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

» Verification by Simulation Comparison using Interface Synthesis

» Program Abstraction in a HigherOrder Logic Framework

» High capacity and automatic functional extraction tool for industrial VLSI circuit designs

Post Info
More Details (n/a)

Added	14 Jun 2010
Updated	14 Jun 2010
Type	Conference
Year	2006
Where	PADS
Authors	Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan

Comments (0)