EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


6458 Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols
Home Policy Brochure Browse Search User Area Contact Help

Belinfante, A.F.E. and Brinksma, H. and Feenstra, J. and Tretmans, G.J. and de Vries, R.G. (2001) Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. In: Mobile Communications in Perspective -- 7th Annual CTIT Workshop. pp. 49-51. Centre for Telematics and Information Technology University of Twente. ISBN 90-3651-546-7

Full text available as:

PDF
- Univ. of Twente only
45 Kb

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Research Project:Côte de Resyste: Conformance Testing for Reactive Systems
ID Code:6458
Status:Published
Deposited On:22 October 2006
Refereed:Yes
International:No
More Information:statistics

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item