May 5, 2017
Estudiantes: Ramid Roushani (Universidad de Rosario, Argentina)
Tutores: Gustavo Betarte, Carlos Luna
El objetivo principal de este proyecto es obtener una especificación formal del algoritmo de decisión que implementa el controlador de acceso para J2ME y derivar un prototipo certificado que lo implemente.