 |
|
|||
| Authors: | Finn Kristoffersen, Thomas Walter |
| Group: | Communication Systems |
| Type: | Techreport |
| Title: | Test Case Validation - TTCN Test Case Validation Against SDL Specifications |
| Year: | 1994 |
| Month: | January |
| Pub-Key: | KRI94b |
| Keywords: | Concurrent TTCN, SDL, formal semantics, validation Concurrent TTCN, SDL, formal semantics, validation |
| Rep Nbr: | 8 |
| Institution: | Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich |
| Remarks: | TIK-Report No. 8, January 1994 |
| Resources: | [BibTeX] |
