Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
About
About the Institutional Repository
Use Policy
FAQs (Frequently Asked Questions)
Credits
Access Statistics
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório PUCRS
Search
Search:
All Repository
PUBLICAÇÕES CIENTÍFICAS
Apresentação em Evento
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-3 of 3 (Search time: 0.001 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2012
Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos
Claiton M. Correa
;
Fernando Luis Dotti
;
Paulo Henrique Lemelle Fernandes
;
Eli Maruani
;
Lucas G. Oleksinski
;
Afonso Henrique Corrêa de Sales
2012
Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos
Claiton M. Correa
;
Fernando Luis Dotti
;
Paulo Henrique Lemelle Fernandes
;
Eli Maruani
;
Lucas G. Oleksinski
;
Afonso Henrique Corrêa de Sales
2013
A CTL Model Checker for Stochastic Automata Networks
Lucas G. Oleksinski
;
Claiton M. Correa
;
Fernando Luis Dotti
;
Afonso Henrique Corrêa de Sales
Explore
Author
3
Afonso Henrique Corrêa de Sales
3
Claiton M. Correa
3
Fernando Luis Dotti
2
Eli Maruani
2
Paulo Henrique Lemelle Fernandes
Subject
2
Modelagem de Sistemas
2
Redes de Autômatos Estocásticos
2
Verificação
1
Model Checking
1
Software Tool
1
Stochastic Automata Networks
Issue Date
1
2013
2
2012