Integración de análisis de tiempo real en la técnica de descripción formal sdl

Tesis doctoral de Luis Manuel Llopis Torres El presente trabajo propone la utilización de técnicas de descripción formal (tdf) para […]

, , , , ,