| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proceedings of the Second NASA Formal Methods Symposium |
| Publisher | NASA |
| State | Published - Apr 1 2010 |
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness
Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats P.E. Heimdahl
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution