Bom dia,

Meu nome é Amanda Tameirão e atualmente estou finalizando minha dissertação de mestrado na Universidade PUMinas (cidade de Belo Horizonte/MG). Meu trabalho consistem em "traduzir" um diagrama de temporização para a linguagem de um verificador de modelos e permitir que o analista efetue testes com relação à eficácia do diagrama proposto.

Gostaria de saber, e solicitar, se possível, um modelo de diagrama de temporização para um sistema real, para que eu possa utilizar em minhas análises.

Me coloco a disposição para quaisquer esclarecimentos, seguem meus contatos, se for necessário podem avaliar com meu orientador a veracidade do trabalho.

Email: Este endereço de email está protegido contra piratas. Necessita ativar o JavaScript para o visualizar.
Email pessoal: Este endereço de email está protegido contra piratas. Necessita ativar o JavaScript para o visualizar.

Desde já agradeço a atenção,
Abraços,
Amanda