Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2001
Belinfante, A.F.E. and Feenstra, J. and Heerink, A.W. and de Vries, R.G.
(2001)
Specification Based Formal Testing: The EasyLink Case Study.
In: 2nd PROGRESS workshop on Embedded Systems, October 13, 2000, Utrecht, the Netherlands.
pp. 73-82.
Technology Foundation STW.
ISBN 90-73461-26-X
2000
de Vries, R.G. and Tretmans, G.J. and Belinfante, A.F.E. and Feenstra, J. and Feijs, L.M.G. and Mauw, S. and Goga, N. and Heerink, A.W. and de Heer, A.
(2000)
Côte de Resyste in Progress.
In: 1st PROGRESS workshop on Embedded Systems, 13 October 2000, Utrecht.
pp. 141-148.
Technology Foundation STW.
ISBN 90-73461-25-1
This list was generated on Thu May 24 08:32:54 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||