FERNEDA, E.; http://lattes.cnpq.br/2531761427648020; FERNEDA, Edilson. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1988-05)
In this paper we present a compiler, in Prolog, to
the formal description (TDF) technique "Extended state transition
language (Estelle) ", version of 1383, developed by
"International Standards Organization (ISO)." This ...