Tratamiento fordal de sistemas con requisitos de tiempo real críticos

Tesis doctoral de Ana Fernandez Vilas Esta tesis se enmarca dentro de la disciplina del tratamiento formal de sistemas con […]

, , , , ,