Côte de Resyste – Automated Model Based Testing (0)

by J Tretmans, E Brinksma
Venue:in: Progress 2002 – 3rd Workshop on Embedded Systems, 2002