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

13 years 11 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)