share record
persistent URL:
Eltefaat Shokri , Herbert Hecht : Matching Software Fault Tolerance with Application Needs. HASE 1998 : 248-253 share record
persistent URL:
Robert N. Smith , Sourav Bhattacharya : Fault and Leak Tolerance in Firewall Engineering. HASE 1998 : 117-123 share record
persistent URL:
Susan Stepney : Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. HASE 1998 : 142-149 export record
dblp key:
conf/hase/SubramanianRT98 share record
persistent URL:
Satish Subramanian , Sanjai Rayadurgam , Wei-Tek Tsai : Design for Constraint Violation Detection in Safety-Critical Systems. HASE 1998 : 109-116 share record
persistent URL:
Dolores R. Wallace : Enhancing Competitiveness via a Public Fault & Failure Data Repository . HASE 1998 : 178-187 share record
persistent URL:
Farn Wang , Pao-Ann Hsiung : Automatic Verification on the Large. HASE 1998 : 134-141 share record
persistent URL:
Denise M. Woit , David V. Mason : Software Component Independence. HASE 1998 : 74-81 share record
persistent URL:
Jun Xu , Mukesh Singhal : A Firewalling Scheme for Securing MPOA-Based Enterprise Networks. HASE 1998 : 205-208 share record
persistent URL:
Stephen J. H. Yang , Sam Lin , Jonathan Lee , William C. Chu : Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic. HASE 1998 : 150-157 share record
persistent URL:
Ying C. (Bob) Yeh : Design Considerations in Boeing 777 Fly-By-Wire Computers. HASE 1998 : 64-73 share record
persistent URL:
3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings. IEEE Computer Society 1998 , ISBN 0-8186-9221-9 [contents]