SDL: formal object-oriented language for communicating systems J Ellsberger, D Hogrefe, A Sarma (No Title), 1997 | 543 | 1997 |
SDL J Ellsberger, D Hogrefe, A Sarma Formal Object-Oriented Language for Communicating Systems, 1997 | 11 | 1997 |
Testability in the context of SDL J Ellsberger, F Kristoffersen Protocol Specification, Testing and Verification, XII, 319-333, 1992 | 8 | 1992 |
F. Kristoffersen, Pvd Merkhof. A Common Semantics Representation for SDL and TTCN T Walter, J Ellsberger Protocol Specification, Testing and Verification XII, North-Holland, 1992 | 8 | 1992 |
Experiences with computer aided test suite generation A Ek, J Ellsberger, A Wiles Proceedings of the IFIP TC6/WG6. 1 Sixth International Workshop on Protocol …, 1993 | 7 | 1993 |
A Dynamic Analysis Tool for SDL A Ek, J Ellsberger SDL 91, 119-134, 1991 | 7 | 1991 |
SDL-Formal Object-oriented Language for Communicating Systems. 1997 J Ellsberger, D Hogrefe, A Sarma Prentice Hall Europe, 0 | 5 | |
A, Sarma J Ellsberger, D Hogrefe SDL—Formal Object-oriented Language for Communicating Systems, 1997 | 4 | 1997 |
SDL framework for prototyping and validation of IN services K Kimbler, CH Hagenfeldt, N Widell, J Ellsberger, G Bergman SDL'99, 19-32, 1996 | 4 | 1996 |
A common semantics representation for SDL and TTCN T Walter, J Ellsberger, F Kristoffersen, P van den Merkhof Protocol Specification, Testing and Verification, XII, 335-346, 1992 | 4 | 1992 |
An environment for IN service prototyping and validation A Mullery, K Kimbler, CH Hagenfeldt, J Ellsberger, G Bergman Intelligence in Services and Networks Paving the Way for an Open Service …, 1999 | 2 | 1999 |
D. Hogrefe D., and A. Sarma J Ellsberger SDL: Formal Object-Oriented Language For Communicating Systems, 1997 | 2 | 1997 |
Computer supported test generation from SDL specifications A Ek, J Ellsberger, A Wiles Protocol Specification, Testing and Verification XIV, 351-358, 1995 | 2 | 1995 |
TA-2: A Prototype Analysing Dynamic SDL Properties A Ek, J Ellsberger Proceedings of the IFIP TC6/WG6. 1 Third International Conference on Formal …, 1990 | 2 | 1990 |
The ETSI SDL model for the Intelligent Network Application Protocol D Hogrefe, J Ellsberger Proc. First Workshop of the SDL Forum Society on SDL and MSC, Y. Lahav, A …, 0 | 1 | |
A common semantics representation for SDL and T Walter, J Ellsberger, F Kristoffersen, P van den Merkhof Protocol Specification, Testing and Verification, XII: Proceedings of the …, 2016 | | 2016 |