Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Made available in DSpace on 2013-10-11T13:35:22Z (GMT). No. of bitstreams: 1 000451032-Texto+Completo-0.pdf: 3224202 bytes, checksum: 0ed1399ff0656c16c4c22f4f6e16cb87 (MD5) Previous issue date: 2013 === The use of critical and complex systems at automation of daily tasks increases the people’s dep...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio Grande do Sul
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10923/5486 |