EEMCS EPrints Service
|
||||||||||||||||
2000
Belinfante, A.F.E. and de Vries, R.G. and Du Bousquet, L. and Ramangalahy, S. and Simon, S. and Viho, C.
(2000)
Formal Test Automation: The Conference protocol with TGV/TorX.
In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada.
pp. 221-228.
IFIP Conference Proceedings 176.
Kluwer Academic Publishers.
ISBN 0-7923-7921-7
|
||||||||||||||||