Especificacion y verificacion de sistemas reactivos utilizando metodos estructurados y logica temporal

Tesis doctoral de Tuya Gonzalez Pablo Javier En esta tesis se integran los metodos estructurados (sa/rt) junto con metodos formales […]

, , , , ,