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: | Tonin, Neilor Avelino |
---|---|
Other Authors: | Universidade Federal de Santa Catarina |
Format: | Others |
Language: | Portuguese |
Published: |
2016
|
Subjects: | |
Online Access: | https://repositorio.ufsc.br/xmlui/handle/123456789/158035 |
Similar Items
-
Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
by: Maciel, Cristiano
Published: (2016) -
Um sistema de suporte para um ambiente de programação orientada a objetos e distribuida
by: Oliveira Filho, Mauro da Silva
Published: (1998) -
Spi+ : um interpretador paralelo para a linguagem superpascal /
by: Fausto, Luís Fernando
Published: (2012) -
Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
by: Scheffel, Roberto Milton
Published: (2016) -
Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
by: Mello, Braulio Adriano de
Published: (2016)