Specification Based Formal Testing: The Easy Link Case Study

Axel Belinfante, J. Feenstra, A.W. Heerink, R.G. de Vries

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

Original language	Undefined
Title of host publication	Proceedings of Progress 2001 2nd workshop on Embedded Systems
Pages	-
Number of pages	10
Publication status	Published - 2001
Event	2nd PROGRESS Workshop on Embedded Systems 2001 - Veldhoven, Netherlands Duration: 18 Oct 2001 → 18 Oct 2001 Conference number: 2

Workshop	2nd PROGRESS Workshop on Embedded Systems 2001
Abbreviated title	PROGRESS
Country/Territory	Netherlands
City	Veldhoven
Period	18/10/01 → 18/10/01

Keywords

@inproceedings{270c6453004a426f8bd16d31818ccccb,

title = "Specification Based Formal Testing: The Easy Link Case Study",

keywords = "METIS-204156",

author = "Axel Belinfante and J. Feenstra and A.W. Heerink and {de Vries}, R.G.",

year = "2001",

language = "Undefined",

pages = "--",

booktitle = "Proceedings of Progress 2001 2nd workshop on Embedded Systems",

note = "2nd PROGRESS Workshop on Embedded Systems 2001 ; Conference date: 18-10-2001 Through 18-10-2001",

}

TY - GEN

T1 - Specification Based Formal Testing: The Easy Link Case Study

AU - Belinfante, Axel

AU - Feenstra, J.

AU - Heerink, A.W.

AU - de Vries, R.G.

N1 - Conference code: 2

PY - 2001

Y1 - 2001

KW - METIS-204156

M3 - Conference contribution

SP - -

BT - Proceedings of Progress 2001 2nd workshop on Embedded Systems

T2 - 2nd PROGRESS Workshop on Embedded Systems 2001

Y2 - 18 October 2001 through 18 October 2001

ER -