A Framework for Off-Line Conformance Testing of Timed Connectors.

Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun

Browse the full TASE paper archive.