%0 Conference Proceedings
%4 dpi.inpe.br/plutao@80/2009/12.22.14.42.32
%2 dpi.inpe.br/plutao@80/2009/12.22.14.42.33
%F lattes: 9838903489637812 2 PontesMorVérAmbVil:2009:MoChVe
%T A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing
%D 2009
%A Pontes, Rodrigo P.,
%A Morais, Marcelo Henrique Essado de,
%A Véras, Paulo C.,
%A Ambrósio, Ana Maria,
%A Villani, Emília,
%@affiliation
%@affiliation
%@affiliation
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@electronicmailaddress
%@electronicmailaddress messado@dem.inpe.br
%B 4th IFAC WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
%C Valencia
%8 2009
%S Proceedings
%K verification, model checking, model based testing, requirements analysis, automata.
%@language en
%3 pontes_comparative.pdf
%U http://www.desdes.uz.zgora.pl/
%O Setores de Atividade: Administração Pública, Defesa e Seguridade Social, Educação.