Sciweavers

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

34

TSE
2002

favoriteEmaildiscussreport

95views more TSE 2002»

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

13 years 10 months ago

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

Download www.ittc.ku.edu

Peter Frey, Radharamanan Radhakrishnan, Harold W.

Real-time Traffic

Correctness Conditions | Prototype Verification System | Time-Warp Paradigm | TSE 2002 |

claim paper

Related Content

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

» Equivalent Semantic Translation from Parallel DEVS Models to Time Automata

» Scalable specification mining for verification and diagnosis

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	TSE
Authors	Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander

Comments (0)