Uma biblioteca de padr?es de especifica??o em Event-B para mecanismos de troca de mensagens em sistema distribu?dos
Made available in DSpace on 2015-04-14T14:49:55Z (GMT). No. of bitstreams: 1 444044.pdf: 1517934 bytes, checksum: 017ad238277ccab4a746e7590ed0bade (MD5) Previous issue date: 2010-03-19 === The development of distributed systems and communication protocols is not a trivial task and the use of forma...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Pontif?cia Universidade Cat?lica do Rio Grande do Sul
2015
|
| Subjects: | |
| Online Access: | http://tede2.pucrs.br/tede2/handle/tede/5197 |