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 proceedingConference contributionAcademicpeer-review

Original languageUndefined
Title of host publicationMobile Communications in Perspective -- 7th Annual CTIT Workshop
EditorsS.M. Heemstra de Groot
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Pages49-51
Number of pages3
ISBN (Print)90-3651-546-7
Publication statusPublished - 2001
Event7th Annual CTIT workshop on Mobile Communications 2001: Mobile Communications in Perspective - University of Twente, Enschede, Netherlands
Duration: 8 Feb 20018 Feb 2001
Conference number: 7

Publication series

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

Conference

Conference7th Annual CTIT workshop on Mobile Communications 2001
CountryNetherlands
CityEnschede
Period8/02/018/02/01

Keywords

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

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). Enschede: Centre for Telematics and Information Technology (CTIT).
Belinfante, Axel ; Brinksma, Hendrik ; Feenstra, J. ; Tretmans, G.J. ; de Vries, R.G. / Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. Mobile Communications in Perspective -- 7th Annual CTIT Workshop. editor / S.M. Heemstra de Groot. Enschede : Centre for Telematics and Information Technology (CTIT), 2001. pp. 49-51
@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",

}

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.

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 proceedingConference contributionAcademicpeer-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.

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

ER -

Belinfante A, Brinksma H, Feenstra J, Tretmans GJ, de Vries RG. Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. In Heemstra de Groot SM, editor, Mobile Communications in Perspective -- 7th Annual CTIT Workshop. Enschede: Centre for Telematics and Information Technology (CTIT). 2001. p. 49-51