1 Jan Tretmans [email protected] Embedded Systems Institute Eindhoven Radboud University Nijmegen Model-Based Testing.
Http://ific.uv.es/~cescobar/lasertest.html IFIC, Valencia Charles University, Prague Peter Kodyš, September 14-16, 2004, RD50 – Workshop Florencia1 Laser.