Framework Document: Model-Based Verification Pilot Study
• Special Report
This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.
Publisher
Software Engineering Institute