Open luigiapetre opened 5 years ago
Course code, if applicable: University hosting the course: University of Málaga Contact person: María-del-Mar Gallardo, gallardo@lcc.uma.es Concepts taught: Model checking, alloy, uml/ocl Tools used: Spin, alloy, use Webpage: https://oas.sci.uma.es:8443/pls/apex/f?p=101:1:4313528363359996::NO::INICIO_LOV_TIPO_ESTUDIO,INICIO_LOV_CURSO_ACAD,INICIO_LOV_CENTROS,INICIO_LOV_TITULACIONES,INICIO_LOV_CICLOS,INICIO_LOV_CURSOS,INICIO_BUSCAR:3,2018,306,5103,1,-1,404 Year/Level: 4
Course code, if applicable: University hosting the course: University of Málaga Contact person: María-del-Mar Gallardo, gallardo@lcc.uma.es Concepts taught: Model checking, alloy, uml/ocl Tools used: Spin, alloy, use Webpage: https://oas.sci.uma.es:8443/pls/apex/f?p=101:1:4313528363359996::NO::INICIO_LOV_TIPO_ESTUDIO,INICIO_LOV_CURSO_ACAD,INICIO_LOV_CENTROS,INICIO_LOV_TITULACIONES,INICIO_LOV_CICLOS,INICIO_LOV_CURSOS,INICIO_BUSCAR:3,2018,306,5103,1,-1,404 Year/Level: 4