Reports and Technical Reports
Engineering Automation for Reliable Software Interim Progress Report (10/01/2000 - 09/30/2001)
Management System for Heterogeneous Networks Final Report, Volume I: Project Summary and Papers (Part A)
Assessment of DMSO Conceptual Models of the Mission Space (Progress Report 1/01/2000 - 12/31/2000)
Decision Support for Formal Method Selection
High-confidence Development and Evolution for System of Embedded Systems
Approach for Highly Dependable Software-Intensive Systems
Adaptive Middleware Framework for Distributed Embedded Applications
Human Factors Based Tools for Dependable Interactive Systems Development
Dependability-Assured Software Transformation
Dependable Software through a Holistic Framework of Tool Interoperability and Artifact Dependency
Refine By:
Advisor
Author
Branch Of Service
Date Issued
Degree
Department
Type
-
Technical Report (871)