Um editor orientado a sintaxe de " LOTOS" /
Apresenta o desenvolvimento de uma ferramenta de apoio às FTDs (Técnicas de Descrição Formal), ligada à edição de especificações formais de sistema de automação de manufatura. Estas ferramentas de apoio têm importância fundamental na expansão do escopo de utilização das FTDs. Apresentamos um Editor...
Na minha lista:
Principais autores: | , , |
---|---|
Formato: | Dissertação |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/32758 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|