Software Engineering Institute

Framework Document: Model-Based Verification Pilot Study

October 01, 2001 • Special Report

David P. GluchJohn J. HudakRobert Janousek

This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.

read