Testability in the Context of SDL

Jan Ellsberger, Finn Kristoffersen. Testability in the Context of SDL. In Richard J. Linn Jr., M. Ümit Uyar, editors, Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992. Volume C-8 of IFIP Transactions, pages 319-333, North-Holland, 1992.

@inproceedings{EllsbergerK92,
  title = {Testability in the Context of SDL},
  author = {Jan Ellsberger and Finn Kristoffersen},
  year = {1992},
  tags = {testing, context-aware},
  researchr = {https://researchr.org/publication/EllsbergerK92},
  cites = {0},
  citedby = {0},
  pages = {319-333},
  booktitle = {Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992},
  editor = {Richard J. Linn Jr. and M. Ümit Uyar},
  volume = {C-8},
  series = {IFIP Transactions},
  publisher = {North-Holland},
  isbn = {0-444-89874-3},
}