Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas

Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica […]

, , , , ,