| 2005 |
|---|
| 5 | EE | Yosef Rauchwerger,
Finn Kristoffersen,
Yair Lahav:
Cinderella SLIPPER: An SDL to C-Code Generator.
SDL Forum 2005: 210-223 |
| 1996 |
|---|
| 4 | EE | Finn Kristoffersen,
Thomas Walter:
TTCN: Towards a Formal Semantics and Validation of Test Suites.
Computer Networks and ISDN Systems 29(1): 15-47 (1996) |
| 1992 |
|---|
| 3 | | Finn Kristoffersen,
Louis Verhaard,
Michael Zeeberg:
Test derivation for SDL based on ACTs.
FORTE 1992: 381-396 |
| 2 | | Jan Ellsberger,
Finn Kristoffersen:
Testability in the Context of SDL.
PSTV 1992: 319-333 |
| 1 | | Thomas Walter,
Jan Ellsberger,
Finn Kristoffersen,
Paul van den Merkhof:
A Common Semantics Representation for SDL and TTCN.
PSTV 1992: 335-346 |
