• H
  • HASE
  • 2007
  • 10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Advanced Search 
10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Dallas, Texas, USA
November 14-November 16
ISBN: 0-7695-3043-5
Table of Contents
Introduction
Papers
Cover
Committees (PDF)
pp. xiv-xv
Keynote
Session 1b. High Assurance Requirements
Session 2a. System Design and Architectures
Session 2b. State-of-the-Art Presentation. Security Systems Engineering
Session 3a. Testing
Session 3b. Security Assurance and Policies
Session 4b. Distributed Systems
Session 5a. High Assurance Embedded Systems
Session 5b. State-of-the-Art Presentation. Software Engineering for High Assurance Systems
Session 6a. Fault Tolerance and Availability
Session 7a. Panel
Session 7b. Empirical Analysis
Session 8a. Formal Verification and Validation
Session 3c. Fault Tolerance
Session 3d. Security
Session 6b. Requirements and Design
Session 6c. Web, E-Commerce, and Enterprise
Session 6d. Quality, Reliability, and Safety
Session 6e. Formal Methods and Its Applications
Session 8b. Systems and Networks
Session 8c. Systems and Applications
Author Index
Author Index (PDF)
pp. 439-440
Usage of this product signifies your acceptance of the Terms of Use.