Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Robert Janousek
October 2001 - Special Report Framework Document: Model-Based Verification Pilot Study

Topics: Performance and Dependability

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