 |
|
|||
| Authors: | Finn Kristoffersen, Thomas Walter |
| Group: | Communication Systems |
| Type: | Inproceedings |
| Title: | TTCN test case correctness validation |
| Year: | 1994 |
| Month: | November |
| Pub-Key: | KrW94a |
| Book Titel: | International Workshop on Protocol Test Systems VII |
| Keywords: | Concurrent TTCN, SDL, formal semantics, validation Concurrent TTCN, SDL, formal semantics, validation |
| Remarks: | International Workshop on Protocol Test Systems VII, Tokyo, Japan, 1994 |
| Location: | Tokyo |
| Resources: | [BibTeX] |
