Applications of formal methods to performance evaluation

Tesis doctoral de Fernando Lopez Pelayo En esta tesis se presenta un modelo teórico para validar características cualitativas y cuantitativas […]

, , , , ,