Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico === Made available in DSpace on 2016-01-08T20:39:17Z (GMT). No. of bitstreams: 1 104398.pdf: 3606804 bytes, checksum: fb6214131346d51ecfad2c0f3f093664 (MD5) Previous issue date: 1996 === Análise de abordagens de pr...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
2016
|
| Subjects: | |
| Online Access: | https://repositorio.ufsc.br/xmlui/handle/123456789/158035 |