Especificación de modelos dinámicos y análisis automático de propiedades con herramientas basadas en Alloy

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2024.

Bibliographic Details
Main Author: Cornejo, César Mauricio
Other Authors: Regis, Germán Enrique
Format: doctoralThesis
Language:spa
Published: 2024
Subjects:
Online Access:http://hdl.handle.net/11086/553418