The Community for Technology Leaders
RSS Icon
Subscribe
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (1998)
Washington DC
Nov. 13, 1998 to Nov. 14, 1998
ISBN: 0-8186-9221-9
TABLE OF CONTENTS
Reviewers (PDF)
pp. xii
Keynote Address
Session 1: Formal/Analytic Methods for Dependability
M. Dal Cin , University of Erlangen-Nuernberg
pp. 4
David Coppit , University of Virginia
Kevin J. Sullivan , University of Virginia
pp. 13
Session II: Invited Speaker
Panel Session I
Keynote Address II
Keynote Address III
Session 3: Reliability Modeling
Session 4: Invited Speaker
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
W.E. Howden , University of California at San Diego
pp. 166
Keynote Address IV
Dolores R. Wallace , National Institute of Standards and Technology
pp. 178
Session 7: Design for High Assurance
J.M. Covan , Sandia National Labs
J.A. Cooper , Sandia National Labs
pp. 200
Session 8: Fault Analysis and Predication
Eltefaat Shokri , SoHaR Incorporated
Herbert Hecht , SoHaR Incorporated
pp. 248
Session 9: Testing and Analysis of High-Assurance Systems
Yu Lei , Fujitsu Network Communications, Inc.
K. C. Tai , North Carolina State University
pp. 254
Session 10: High-Assurance in Intelligent Systems
Author Index (PDF)
pp. 320
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool