F. Saba
Timeline
1990
0
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1990
Translation from TTCN to LOTOS and the Validation of Test Cases.
Proceedings of the Formal Description Techniques, 1990