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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Jared Brockway
April 1999 - Technical Report An Introduction to Software Engineering Practices Using Model-Based Verification

Topics: Performance and Dependability

Authors: David P. Gluch, Jared Brockway

This is an introductory report on the use of model-based verification techniques within software development and upgrade practices.