file.pdf (99.45 kB)
Download fileFramework Document: Model-Based Verification Pilot Study
report
posted on 01.10.2001, 00:00 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).