macedo@uminho.ctt.pt (Joaquim Macedo) (02/15/90)
Dear all, At Minho University (Portugal), we want to use ISODE for devellop OSI based distributed applications. We are thinking to use a FDT ( Formal Description Technique) for application specification and its verification. Is anyone using a FDT environment wich includes tools for translate the specification source and then use the ISODE avalaible tools? Thanks for your attention, Joaquim Macedo Universidade do Minho Portugal E-mail: macedo@uminho.ctt.pt