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

IEEE Transactions on Software Engineering - United States
doi 10.1109/32.979989
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)