file.pdf (99.45 kB)
Framework Document: Model-Based Verification Pilot Study
report
posted on 2001-10-01, 00:00 authored by David Gluch, John J. Hudak, Robert Janousek, John Walker, Charles B. Weinstock, David ZubrowThis Pilot Study Framework document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of Model-Based Verification (MBV).