Utilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticos

Made available in DSpace on 2013-08-07T18:43:24Z (GMT). No. of bitstreams: 1 000400013-Texto+Completo-0.pdf: 1799901 bytes, checksum: 8f9035ff6f9f2bcba55f62be7f4e0d52 (MD5) Previous issue date: 2008 === Modeling formalisms are languages capable of describing a system behavior in a non ambiguous wa...

Full description

Bibliographic Details
Main Author: Scolari, Ana Paula Salengui
Other Authors: Fernandes, Paulo Henrique Lemelle
Language:Portuguese
Published: Pontifícia Universidade Católica do Rio Grande do Sul 2013
Subjects:
Online Access:http://hdl.handle.net/10923/1646