Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 3. 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
Heerink, A.W. and Feenstra, J. and Tretmans, G.J.
(2000)
Formal Test Automation: The Conference Protocol with PHACT.
In: Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques.
pp. 211-220.
IFIP Conference Proceedings 176.
Kluwer Academic Publishers.
ISBN 0-7923-7921-7
1992
Mader, A.H.
(1992)
Tableau Recycling.
In: 4th Int. Workshop Computer Aided Verification (CAV), Montreal, Canada.
pp. 330-342.
Springer-Verlag.
ISBN 3-540-56496-9
This list was generated on Thu May 24 05:35:38 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||