Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2004
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J.
(2004)
Compositional Testing with ioco.
In: Formal Approaches to Software Testing (FATES).
pp. 86-100.
Lecture Notes in Computer Science 2931.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-20894-5
1998
Brinksma, H. and Heerink, A.W. and Tretmans, G.J.
(1998)
Factorized Test Generation for Multi Input/Output Transition Systems.
In: Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems.
pp. 67-82.
IFIP Conference Proceedings 131.
Kluwer Academic Publishers.
ISBN 0-412-84430-3
This list was generated on Thu May 24 07:45:11 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||