Toward Formal TTCN-Based Test Execution.

Ruibing Hao, Jianping Wu

Browse the full INFOCOM paper archive.