Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados.

Tesis doctoral de Sanchez Alonso M. Soledad En esta tesis se presenta (ofre coordinativa formal requirenets encinooment), un entorno para […]

, , , , ,