Grupo Alarcos · Conference paper · 2000

An Approach to Use System Models to Assist in the Definition of Test Procedures

Juan Garbajosa Sopeña, María Alandes, Mario Piattini Velthuis

WRTP 2000: 25th IFAC Workshop on Real-time programming · 2000