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

14 years 8 months ago

Peter Frey, Radharamanan Radhakrishnan, Harold W.

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

claim paper

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)