|
Search the dblp DataBase
Finn Kristoffersen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Finn Kristoffersen, Louis Verhaard, Michael Zeeberg
Test derivation for SDL based on ACTs. [Citation Graph (0, 0)][DBLP] FORTE, 1992, pp:381-396 [Conf]
- Jan Ellsberger, Finn Kristoffersen
Testability in the Context of SDL. [Citation Graph (0, 0)][DBLP] PSTV, 1992, pp:319-333 [Conf]
- Thomas Walter, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof
A Common Semantics Representation for SDL and TTCN. [Citation Graph (0, 0)][DBLP] PSTV, 1992, pp:335-346 [Conf]
- Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav
Cinderella SLIPPER: An SDL to C-Code Generator. [Citation Graph (0, 0)][DBLP] SDL Forum, 2005, pp:210-223 [Conf]
- Finn Kristoffersen, Thomas Walter
TTCN: Towards a Formal Semantics and Validation of Test Suites. [Citation Graph (0, 0)][DBLP] Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:15-47 [Journal]
Search in 0.001secs, Finished in 0.001secs
|