ANDRADE, R. M. C.; http://lattes.cnpq.br/9576713124661835; ANDRADE, Rossana Maria de Castro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-12)
The Formal Description Technique ( F D T ) Extended State Transition Language
(Estelle), standardized by International Organization for Standardization
(ISO), was developed for the formal specification of distributed ...