1
Assuntos:
“...Formal description techniques...”
E-dart : um ambiente de especificação e-lotos
Dissertação
2
Assuntos:
“...Formal description...”
Influência da lista vermelha e de características das espécies no esforço em pesquisa de anuros do Brasil
Dissertação
3
Assuntos:
“...Estelle Formal Description Technique...”
Especificação formal, em estelle, de sistemas digitais.
Dissertação
4
Assuntos:
“...Formal Description Technique...”
Formalização de entidades gerenciadas através de redes de petri orientada a objetos.
Dissertação
5
Assuntos:
“...Formal Description Techniques (TDFs)...”
Uma abordagem para o design de sistemas distribuídos e protocolos de comunicação.
Tese
6
Assuntos:
“...Formal Description Technique (TDF)...”
Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
Dissertação