Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols

Axel Belinfante; Hendrik Brinksma; J. Feenstra; G.J. Tretmans; R.G. de Vries

Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols

Axel Belinfante, Hendrik Brinksma, J. Feenstra, G.J. Tretmans, R.G. de Vries

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

Original language	Undefined
Title of host publication	Mobile Communications in Perspective -- 7th Annual CTIT Workshop
Editors	S.M. Heemstra de Groot
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Pages	49-51
Number of pages	3
ISBN (Print)	90-3651-546-7
Publication status	Published - 2001
Event	7th Annual CTIT Workshop on Mobile Communications 2001: Mobile Communications in Perspective - University of Twente, Enschede, Netherlands Duration: 8 Feb 2001 → 8 Feb 2001 Conference number: 7

Publication series

Name
Publisher	University of Twente, Centre for Telematics and Information Technology (CTIT)

Workshop

Workshop	7th Annual CTIT Workshop on Mobile Communications 2001
Country	Netherlands
City	Enschede
Period	8/02/01 → 8/02/01

Keywords

EWI-6458
FMT-TOOLS
FMT-TESTING
IR-63286
METIS-203620

Access to Document

http://eprints.eemcs.utwente.nl/secure2/6458/01/125_ctit-workshop2001.pdf

Cite this

Belinfante, A., Brinksma, H., Feenstra, J., Tretmans, G. J., & de Vries, R. G. (2001). Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. In S. M. Heemstra de Groot (Ed.), Mobile Communications in Perspective -- 7th Annual CTIT Workshop (pp. 49-51). Centre for Telematics and Information Technology (CTIT). http://eprints.eemcs.utwente.nl/secure2/6458/01/125_ctit-workshop2001.pdf

@inproceedings{4ae4e38e41b84822b1254ba6d974eb9c,

title = "C{\^o}te de Resyste -- Automatic Model-Based Testing of Communication Protocols",

keywords = "EWI-6458, FMT-TOOLS, FMT-TESTING, IR-63286, METIS-203620",

author = "Axel Belinfante and Hendrik Brinksma and J. Feenstra and G.J. Tretmans and {de Vries}, R.G.",

year = "2001",

language = "Undefined",

isbn = "90-3651-546-7",

publisher = "Centre for Telematics and Information Technology (CTIT)",

pages = "49--51",

editor = "{Heemstra de Groot}, S.M.",

booktitle = "Mobile Communications in Perspective -- 7th Annual CTIT Workshop",

address = "Netherlands",

note = "null ; Conference date: 08-02-2001 Through 08-02-2001",

}

Belinfante, A, Brinksma, H, Feenstra, J, Tretmans, GJ & de Vries, RG 2001, Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. in SM Heemstra de Groot (ed.), Mobile Communications in Perspective -- 7th Annual CTIT Workshop. Centre for Telematics and Information Technology (CTIT), Enschede, pp. 49-51, 7th Annual CTIT Workshop on Mobile Communications 2001, Enschede, Netherlands, 8/02/01. <http://eprints.eemcs.utwente.nl/secure2/6458/01/125_ctit-workshop2001.pdf>

Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. / Belinfante, Axel; Brinksma, Hendrik; Feenstra, J.; Tretmans, G.J.; de Vries, R.G.

Mobile Communications in Perspective -- 7th Annual CTIT Workshop. ed. / S.M. Heemstra de Groot. Enschede : Centre for Telematics and Information Technology (CTIT), 2001. p. 49-51.

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

TY - GEN

T1 - Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols

AU - Belinfante, Axel

AU - Brinksma, Hendrik

AU - Feenstra, J.

AU - Tretmans, G.J.

AU - de Vries, R.G.

N1 - Conference code: 7

PY - 2001

Y1 - 2001

KW - EWI-6458

KW - FMT-TOOLS

KW - FMT-TESTING

KW - IR-63286

KW - METIS-203620

M3 - Conference contribution

SN - 90-3651-546-7

SP - 49

EP - 51

BT - Mobile Communications in Perspective -- 7th Annual CTIT Workshop

A2 - Heemstra de Groot, S.M.

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

Y2 - 8 February 2001 through 8 February 2001

ER -