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

Axel Belinfante; Ed Brinksma; Jan Feenstra; Jan Tretmans; René de Vries

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

Axel Belinfante
, Ed Brinksma
, Jan Feenstra
, Jan Tretmans
, René de Vries

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

1 Downloads (Pure)

Original language	English
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

Workshop

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

Keywords

FMT-TOOLS
FMT-TESTING

Cite this

@inproceedings{4ae4e38e41b84822b1254ba6d974eb9c,

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

keywords = "FMT-TOOLS, FMT-TESTING",

author = "Axel Belinfante and Ed Brinksma and Jan Feenstra and Jan Tretmans and \{de Vries\}, Ren{\'e}",

year = "2001",

language = "English",

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

pages = "49--51",

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

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

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

address = "Netherlands",

note = "7th Annual CTIT Workshop on Mobile Communications 2001 : Mobile Communications in Perspective ; Conference date: 08-02-2001 Through 08-02-2001",

}

Belinfante, A, Brinksma, E, Feenstra, J, Tretmans, J & de Vries, R 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.

Côte de Resyste: Automatic Model-Based Testing of Communication Protocols. / Belinfante, Axel; Brinksma, Ed; Feenstra, Jan et al.
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

T2 - 7th Annual CTIT Workshop on Mobile Communications 2001

AU - Belinfante, Axel

AU - Brinksma, Ed

AU - Feenstra, Jan

AU - Tretmans, Jan

AU - de Vries, René

N1 - Conference code: 7

PY - 2001

Y1 - 2001

KW - FMT-TOOLS

KW - FMT-TESTING

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 -