René G. de Vries
According to our database1, René G. de Vries authored at least 6 papers between 1999 and 2007.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Automated Testing in Practice: The Highway Tolling System.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002
Int. J. Softw. Tools Technol. Transf., 2000
Formal Test Automation: The Conference Protocol with TGV/TORX.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000
Scale-Adaptive Landmark Detection, Classification and Size Estimation in 3D Object-Background Images.
Proceedings of the 15th International Conference on Pattern Recognition, 2000
Formal Test Automation: A Simple Experiment.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999