O documento que Você está acessando é a versão:
<2017:11.08.14.47.59 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator>
Além disto, esta versão é a oficial.
A data de acesso (data no site) é: 14 de agosto de 2020.


<sid.inpe.br/mtc-m21b/2017/11.08.14.47>
(repositório)
<mtc-m21b.sid.inpe.br>

Conference Proceedings
From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases
Santiago Júnior, V. A. & Silva, F. E. C. :2017:

 

Como citar este documento no formato BibINPE
metadados
sites

 

 

(clicar o título ou o icone para acessar o documento)
(333 KiB)

O documento está no formato PDF. Utilize o Adobe Acrobat para exibi-lo.
Caso o acesso ao documento esteja comprometido, recomendamos a instalação gratuita da versão Acrobat Reader 10.1.0.
Esta recomendação vale também para os casos em que os links estão inativos.
Download do Software Acrobat Reader 10.1.0

estatísticas


Após sua visita, retornando para esta página, Você pode testar
se o documento foi modificado durante o acesso.