• H
  • HASE
  • 1998
  • Third IEEE International High-Assurance Systems Engineering Symposium
Advanced Search 
Third IEEE International High-Assurance Systems Engineering Symposium
Washington DC
November 13-November 14
ISBN: 0-8186-9221-9
Table of Contents
Keynote Address
A Perspective from the Field on High Assurance Systems
Session 1: Formal/Analytic Methods for Dependability
Session II: Invited Speaker
Architecture and Reliability Model of High-Assurance Systems
Panel Session I
Keynote Address II
Systems Engineering in DoD and Research Issues at the Edge of the 21st Century
Keynote Address III
Session 3: Reliability Modeling
Session 4: Invited Speaker
Survivability and Security
Satish Subramanian, Cardiac Pacemakers Inc.
Sanjai Rayadurgam, Cardiac Pacemakers Inc.
Wei-Tek Tsai, University of Minnesota and Cardiac Pacemakers Inc.
pp. 109
Session 5: Formal Methods
Stephen J.H. Yang, National Central University
Sam Lin, National Central University
Jonathan Lee, National Central University
William Chu, TungHai University
pp. 150
Session 6: State-of-the-Art Talk
David C. Kung, The University of Texas at Arlington
Pei Hsia, The University of Texas at Arlington
Yasufumi Toyoshima, Fujitsu Network Communication Systems
Cris Chen, Fujitsu Network Communication Systems
Jerry Gao, Fujitsu Network Communication Systems
pp. 158
Keynote Address IV
Session 7: Design for High Assurance
Session 8: Fault Analysis and Predication
Session 9: Testing and Analysis of High-Assurance Systems
Yu Lei, Fujitsu Network Communications, Inc.
K. C. Tai, North Carolina State University
pp. 254
Object-Oriented Real-Time Systems Verifications Using Timed Event Graph
Session 10: High-Assurance in Intelligent Systems
Usage of this product signifies your acceptance of the Terms of Use.