Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 08:28:00 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||