Testing activo y pasivo de sistemas con información temporal y probabilística

Aquesta tesi apareix a les col·leccions següents