Claiton Marques Correa
Claiton Marques Correa
Instituto Federal Farroupilha
Verified email at acad.pucrs.br
Title
Cited by
Cited by
Year
Um verificador de modelos descritos em Redes de Autômatos Estocásticos
CM Correa, FL Dotti, PHL Fernandes, E Maruani, LG Oleksinski, ...
XIII Workshop de Testes e Tolerância a Falhas (WTF), 2012, Brasil., 2012
32012
A CTL model checker for stochastic automata networks
L Oleksinski, C Correa, FL Dotti, A Sales
International Conference on Quantitative Evaluation of Systems, 286-289, 2013
22013
Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
CM Correa
Pontifícia Universidade Católica do Rio Grande do Sul, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–3