TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 99 records were found in 0.406 seconds
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness
NASA Formal Methods, 161-170, 2010
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA
ISBN: 1-58113-262-X, 2000
Specification and Analysis of System Level Inter-Component Communication
ICFEM, 192-, 1997