1
Assuntos:
“...Verificação de Software...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
2
Assuntos:
“...Acompanhamento de exercícios físicos - software...”
Uso de modelos formais em sistemas pervasivos de cuidados de saúde: um estudo de caso em auxílio à prática de exercícios físicos.
Tese