Protocol conformance testing : a formal perspective on ISO IS-9646

J. Tretmans; P. Kars; E. Brinksma

Protocol conformance testing : a formal perspective on ISO IS-9646

J. Tretmans, P. Kars, E. Brinksma

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Protocol Test Systems IV (Proceedings IFIP TC6/WG6.1 Fourth International Workshop, Leidschendam, The Netherlands, October 15-17, 1991)
Editors	J. Kroon, R.J. Heijink, E. Brinksma
Publisher	North-Holland Publishing Company
Pages	131-142
Publication status	Published - 1992

Publication series

Name	IFIP transactions. C, Communication systems
Volume	C-3
ISSN (Print)	0926-549X

Cite this

Tretmans, J., Kars, P., & Brinksma, E. (1992). Protocol conformance testing : a formal perspective on ISO IS-9646. In J. Kroon, R. J. Heijink, & E. Brinksma (Eds.), Protocol Test Systems IV (Proceedings IFIP TC6/WG6.1 Fourth International Workshop, Leidschendam, The Netherlands, October 15-17, 1991) (pp. 131-142). (IFIP transactions. C, Communication systems; Vol. C-3). North-Holland Publishing Company.

Tretmans, J. ; Kars, P. ; Brinksma, E. / Protocol conformance testing : a formal perspective on ISO IS-9646. Protocol Test Systems IV (Proceedings IFIP TC6/WG6.1 Fourth International Workshop, Leidschendam, The Netherlands, October 15-17, 1991). editor / J. Kroon ; R.J. Heijink ; E. Brinksma. North-Holland Publishing Company, 1992. pp. 131-142 (IFIP transactions. C, Communication systems).

@inproceedings{e62d7be2abd1446e8ff2036e00d620c6,

title = "Protocol conformance testing : a formal perspective on ISO IS-9646",

author = "J. Tretmans and P. Kars and E. Brinksma",

year = "1992",

language = "English",

series = "IFIP transactions. C, Communication systems",

publisher = "North-Holland Publishing Company",

pages = "131--142",

editor = "J. Kroon and R.J. Heijink and E. Brinksma",

booktitle = "Protocol Test Systems IV (Proceedings IFIP TC6/WG6.1 Fourth International Workshop, Leidschendam, The Netherlands, October 15-17, 1991)",

address = "Netherlands",

}

Tretmans, J, Kars, P & Brinksma, E 1992, Protocol conformance testing : a formal perspective on ISO IS-9646. in J Kroon, RJ Heijink & E Brinksma (eds), Protocol Test Systems IV (Proceedings IFIP TC6/WG6.1 Fourth International Workshop, Leidschendam, The Netherlands, October 15-17, 1991). IFIP transactions. C, Communication systems, vol. C-3, North-Holland Publishing Company, pp. 131-142.

Protocol conformance testing : a formal perspective on ISO IS-9646. / Tretmans, J.; Kars, P.; Brinksma, E.
Protocol Test Systems IV (Proceedings IFIP TC6/WG6.1 Fourth International Workshop, Leidschendam, The Netherlands, October 15-17, 1991). ed. / J. Kroon; R.J. Heijink; E. Brinksma. North-Holland Publishing Company, 1992. p. 131-142 (IFIP transactions. C, Communication systems; Vol. C-3).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Protocol conformance testing : a formal perspective on ISO IS-9646

AU - Tretmans, J.

AU - Kars, P.

AU - Brinksma, E.

PY - 1992

Y1 - 1992

M3 - Conference contribution

T3 - IFIP transactions. C, Communication systems

SP - 131

EP - 142

BT - Protocol Test Systems IV (Proceedings IFIP TC6/WG6.1 Fourth International Workshop, Leidschendam, The Netherlands, October 15-17, 1991)

A2 - Kroon, J.

A2 - Heijink, R.J.

A2 - Brinksma, E.

PB - North-Holland Publishing Company

ER -

Tretmans J, Kars P, Brinksma E. Protocol conformance testing : a formal perspective on ISO IS-9646. In Kroon J, Heijink RJ, Brinksma E, editors, Protocol Test Systems IV (Proceedings IFIP TC6/WG6.1 Fourth International Workshop, Leidschendam, The Netherlands, October 15-17, 1991). North-Holland Publishing Company. 1992. p. 131-142. (IFIP transactions. C, Communication systems).