Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The Modal Transition Analyser (MTSA) supports behaviour modelling, analysis and synthesis of concurrent software systems. Behaviour models are described using the Finite State Processes (FSP) language and behaviour constraints.
-
Construcción e instrumentación de Mimicry Monitors. Tesis de Licenciatura.
-
-
-
-
-
-
-
Seminario de Tecnologia y Sociedad
-
-
Talleres de ISW2-2025-2C
-
Talleres, TPs, Prácticas, Diapos, y todo lo que esté al alcance en AEDII
-
-
-
-
-
