Home Projects and Publications Publications

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

The Enhanced Condition Table Methodology for Verification of Critical Software in Ada and C

"The Enhanced Condition Table Methodology for Verification of Critical Software in Ada and C", Proc. 7th International Conference on Software Testing, San Francisco, May, 1990

Click to Download


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.