Fechar


Como Referenciar este Documento no Padrão INPE (Formato BibINPE)

PONTES, R. P.; MORAIS, M. H. E.; VÉRAS, P. C.; AMBRÓSIO, A. M.; VILLANI, E. A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing. In: 4TH IFAC WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2009, Valencia. Proceedings... 2009. Papel. Disponível em: <http://www.desdes.uz.zgora.pl/>. Acesso em: 28 mar. 2024.

Como Fazer a Citação no Texto (por autor/ano)

... como proposto por Pontes et al. (2009).
... pode ser encontrada na literatura (PONTES et al., 2009).



Fechar