A Verification Framework for Component-Based Modeling and Simulation Putting the pieces together

Open in new window