• H
  • HASE
  • 2001
  • Sixth IEEE International Symposium on High Assurance Systems Engineering (HASE'01)
Advanced Search 
Sixth IEEE International Symposium on High Assurance Systems Engineering (HASE'01)
Boca Raton, Florida
October 22-October 24
ISBN: 0-7695-1275-5
Table of Contents
Formal Methods
Railway Systems (Experience Reports)
Fast Abstracts
Research Issues in Assurance of Software Dependability
Are Measures and Metrics for Trusted Information Systems Possible?
Generating Test Plans for Distributed Systems with Stochastic Decision Models
A Novel Adaptive Neural Network Based Technique to Enhance Software System Assurance for Regression Testing
Application of Software for High Consequences Systems
Fault-Tolerant Cell Location Counter Strategy in Wireless Mobile Environment
Software IV&V Strategy for Small Projects
Characterization of Dynamic Behavior of Executable Software Objects to Optimize Test Case Selection for Regression
A Case Study of IV&V Return on Investment (ROI)
Integrating Software into PRA: A Taxonomy of Software Related Failures
Software Reliability Analysis for Regression Testing
Assurance Analysis by Scenario-based UML Modeling
Web-Based Prototype of Real-Time Concurrent Systems by a Specification Technique with Safety and Liveness Properties
Dynamic Fault-Tolerance Routing in 2-D Meshes
Architecting eBanking High Assurance Security Solutions
Theorem-Proving Approach to Generating State Machine Test Sequences
Usage of this product signifies your acceptance of the Terms of Use.