Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
Made available in DSpace on 2014-07-11T02:02:28Z (GMT). No. of bitstreams: 1 000459162-Texto+Completo-0.pdf: 4186967 bytes, checksum: 6dd4e203f8e1da6979a67d378beb6228 (MD5) Previous issue date: 2013 === Stochastic Automata Network (SAN) is a formalism that allows the description of systems in orde...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio Grande do Sul
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10923/6682 |