The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2007)
Dallas, Texas, USA
Nov. 14, 2007 to Nov. 16, 2007
ISSN: 1530-2059
ISBN: 0-7695-3043-5

Committees (PDF)

pp. xiv-xv
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
98 ms
(Ver 3.3 (11022016))