Date of Original Version

10-2001

Type

Technical Report

Abstract or Description

This Pilot Study Framework document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of Model-Based Verification (MBV).

Comments

CMU/SEI-2001-SR-024

Share

COinS