EEMCS

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

EEMCS EPrints Service


Editor: Tretmans, G.J.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2007

Bohnenkamp, H.C. and Belinfante, A.F.E. (2007) Timed model-based testing. In: Tangram: Model-based integration and testing of complex high-tech systems. Embedded Systems Institute ESI, Eindhoven, the Netherlands, pp. 115-128. ISBN 978-90-78679-02-8

2001

Tretmans, G.J. and Brinksma, H., ed. (2001) Formal Approaches to Testing of Software FATES'01. Technical Report NS-01-4, BRICS Notes Series, Arhus, Denmark. ISSN 0909-3206
de Vries, R.G. (2001) Towards Formal Test Purposes. In: Formal Approaches to Testing of Software 2001 (FATES'01), August 25, 20, Aarhus, Denmark. pp. 61-76. BRICS Notes Series NS-01-4. ISSN 0909-3206

This list was generated on Fri May 26 07:25:52 CEST 2017.