A utilização de ferramentas de verificação formal em sistemas de comunicação de dados
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. === Made available in DSpace on 2012-10-18T20:18:42Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T02:25:30Z : No. of bitstreams: 1 193147.pdf: 7504038 by...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Florianópolis, SC
2012
|
| Subjects: | |
| Online Access: | http://repositorio.ufsc.br/xmlui/handle/123456789/80873 |