Translation from TTCN to LOTOS and the Validation of Test Cases.

Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba

Browse the full FORTE paper archive.