@InProceedings{PontesMorVérAmbVil:2009:MoChVe,
               author = "Pontes, Rodrigo P. and Morais, Marcelo Henrique Essado de and 
                         V{\'e}ras, Paulo C. and Ambr{\'o}sio, Ana Maria and Villani, 
                         Em{\'{\i}}lia",
          affiliation = "{} and {} and {} and {Instituto Nacional de Pesquisas Espaciais 
                         (INPE)}",
                title = "A Comparative Analysis of two Verification Techniques for DEDS: 
                         Model Checking versus Model-based Testing",
            booktitle = "Proceedings...",
                 year = "2009",
         organization = "4th IFAC WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN",
                 note = "Setores de Atividade: Administra{\c{c}}{\~a}o P{\'u}blica, 
                         Defesa e Seguridade Social, Educa{\c{c}}{\~a}o.",
             keywords = "verification, model checking, model based testing, requirements 
                         analysis, automata.",
  conference-location = "Valencia",
      conference-year = "2009",
                label = "lattes: 9838903489637812 2 PontesMorV{\'e}rAmbVil:2009:MoChVe",
             language = "en",
           targetfile = "pontes_comparative.pdf",
                  url = "http://www.desdes.uz.zgora.pl/",
        urlaccessdate = "26 abr. 2024"
}