The Community for Technology Leaders
RSS Icon
Subscribe
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2007)
Dallas, Texas, USA
Nov. 14, 2007 to Nov. 16, 2007
ISBN: 0-7695-3043-5
TABLE OF CONTENTS
Introduction
pp. xvi-xvii
Cover
Introduction
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
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool