Date of Original Version
10-2001
Type
Technical Report
Abstract or Table of Contents
This Pilot Study Framework document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of Model-Based Verification (MBV).
COinS
Comments
CMU/SEI-2001-SR-024