O documento que Você está acessando é a versão:
<2015:04.16.18.57.29 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator>
Além disto, esta versão é a oficial.
A data de acesso (data no site) é: 07 de agosto de 2020.


<dpi.inpe.br/plutao@80/2008/12.18.15.55>
(repositório)
<plutao.sid.inpe.br>

Conference Proceedings
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
Santiago, V. & Vijaykumar, N. L. & Guimarães, D. S. & Amaral, A. S. & Ferreira, É. :2008:

 

Como citar este documento no formato BibINPE
metadados
sites

 

 

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

ATENÇÃO: o documento neste repositório tem um acesso restrito. Somente clientes autorizados podem abri-lo.
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.