An Empirical Study on Modeling Testing Requirements for Safety-Critical Software.

Wenyao Xue, Qingwei Ren, Yichen Wang

Browse the full QRS paper archive.