Home Projects and Publications Publications

Software and System
   Reliability Prediction
Hardware Reliability
Software Engineering, Quality
   Assurance, and Management
Fault Tolerant Computing
Distributed Systems
Microcomputers

Enhanced Condition Tables for Verification of Critical Software

"Enhanced Condition Tables for Verification of Critical Software", Proc. COMPSAC '87, Tokyo, October, 1987


Home | Software | Analysis Services | Training | Advanced Technologies | Projects and Publications
About Us | Contact Us | Careers at SoHaR | Site Map

© Copyright 2001 SoHaR Corporation. All rights reserved.